Web193 will be taken down for a hard drive swap on Tuesday, December 20th between 15:00 – 18:00 GMT. The approximate downtime should be less than 1 hour. We will update this post as maintenance progresses.
2011-12-20 15:52 UTC: the disk has been replaced and RAID is rebuilding. The server is back online.