Site is up again

Well, if you're reading this, the site is back up again. It has been unavailable since the 5th October, when our web host had a file system failure.

Sorry about the inconvenience! Unfortunately there was nothing we could do about it except wait for the problem to be resolved. Judging by the frequency of previous problems (which you can see here), this amount of downtime was pretty unusual.