I’m going to make another attempt to do some upgrading tonight, so the web site will probably be up & down a bit, and I’m temporarily resetting the theme back to a default.

Normal service may be resumed at some point, possibly, if I’m lucky.