The site was down for a few hours this morning due to a server problem. Everything seems to be back in working order now. I hope nobody was too put off by the site’s absence this morning!

Thank you for your patience. We now return to our regularly scheduled programming.

(By the way, let me know if you see anything odd around the site. Thinking the problem was something I did, I went ahead and upgraded the software that runs this site. It didn’t help the problem, of course, but I’d meant to upgrade soon anyway, so now that’s done. But I didn’t have a chance to test it as thoroughly as I would have otherwise, so let me know if you see something that seems not quite right.)