web57 will be taken down Tuesday October 29th at 1PM UTC for a routine cable swap. Expected downtime is 30 minutes. We will update this post as maintenance progresses.

2013-10-29 14:01: Maintenance is complete and the server is back online.