Web178 will be taken down for a routine hard drive replacement on November 5th at 11:00AM UTC. Expected downtime will be less than one hour. We will update this post as maintenance progresses.

2011-11-05 11:43 UTC: The disk has been replaced and the server is back to operational status.