Once again, my mailbox got corrupted. Makes me want to hand it all over to Google and get out of the email hosting business (such as it is, with three mailboxes.) But Certain Users are objecting.
In the meantime, I have this:
I hope you never need it. I’m posting it here so I can remember where to find it.