Well, we're really sorry for the downtime earlier today, which was due to a Distributed-Denial-Of-Service attack on our lovely hosts Squarespace. The attack was thwarted pretty quickly by all accounts, but Squarespace had to change some IP addresses, and that left us unavailable via the regular web address. We're very sorry, and hope you didn't miss us too much.