The great Don’t-Push-That-Button fiasco is now completely over: the last piece, the email@example.com email address, is now operational again.
Thanks again to Charles for all his herculean efforts.
However, it seems as if any messages sent to that address between October 11 at 6:39PM PDT and today at 1:21PM PDT are lost forever. I do not have them and have not seen them. So if you sent me something important between those times, please send it again.
Thank you again for your patience with all this.