WHO WAS THAT MASKED MAN?
Apparently some kind soul has taken the professor's advice and paid the $12 "make the banner ad go away" fee for this blog. Many thanks, whoever you may be.