Web116 will be taken down on Monday Jan 31 at 11:00AM UTC for a hard disk replacement. Expected downtime should be less than one hour. We will update this post as the maintenance progresses.

[11:10 AM UTC] We are bringing the server down for hard drive replacement.
[11:33 AM UTC] Web116 is up and running again.