Web31 will be taken down for a fsck Wednesday December 5th 2012 between 09:00 UTC and 11:00 UTC. We will update this post as maintenance progresses.

2012-12-05 13:01 UTC Fsck completed. The server is back to operational status.