Moving

I'm on the verge of switching web servers, which may lead to a bit of weirdness over the next day or two. Ideally, it will all happen seamlessly backstage, but there might be a bump or two. One of the motivations for making this change is to provide a better platform for running this blog, so I hope you'll bear with me. Thanks.

Update: We're here! If you can see this, you are connected to the new server.