I just remembered that I set up an email address for this website and never checked it. Waiting for me there was a months-old email from Bernie Wagenblast responding to this post, confirming that it is his real name and signing off with a ;-). Sorry for the misspelling, Bernie! I love the Internet.