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

[10:50 AM UTC] Maintenance has been completed. The server is up and running.