Web25 will be taken down on Wednesday, April 27th at 22:00UTC for disk replacement. Expected downtime should be less than one hour. We will update this post as the maintenance progresses.

2011-04-27 22:20 UTC: Maintenance has begun.
2011-04-27 22:40 UTC: Maintenance has finished.