Web132 will be taken down on Sunday September 26th at 6pm UTC (13:00 CDT) to repair a degraded RAID. The downtime should be less than 1h.

Update: The server is now on-line.