Possible downtime over the next week

We’ll be changing hosting provider in the next week, including moving our domain registration. When the registration is moved to point at the new site, it may take 24–48 hours for the change to propagate throughout the Internet; until the changes reach you, you may end up seeing the old version of the site.

If something goes wrong, the site may be unavailable for a period, or may be flaky for a while once the new version’s up. Hopefully nothing will go wrong, but we are talking about computers here…