Web117 will be taken down at 10:00 AM UTC on Wednesday, December 1st to repair its RAID controller. Expected downtime should be less than one hour. We will update this post as the maintenance progresses.

[11:30] The maintenance is now complete and the server is back online.