Administrivia: Redirecting visitors from 000111

There are still so many blogs and sites pointing to this site’s old address, that I thought I’d add an automatic refresh-to-the-new address (after 10 seconds to get oriented and then again quickly disoriented) to the template for the old-school page.