Apologies for the sudden and unexpected downtime we suffered yesterday. This was due to a problem at our hosting provider; while this apparently affected only a small number of servers, we were one of the lucky few.

Essentially our server couldn't access its data storage, which is obviously pretty fundamental to its operation. As of about 00:15 this morning this had been rectified, without any data loss, and all services are now running normally.