miscellaneous

Sorry about the lengthy downtime today. It lasted around 14 hours or so and unlike last time, this time it was self-inflicted. It was a combination of (a) forgetting to do some routine maintenance and (b) not having monitoring on the home page (the hall of fame page, which is monitored, was actually unaffected by the main problem). Anyway, this shouldn't be an issue going forward.

Nevermind my other post then ;-)