Web142 will be taken down on Tuesday Feb 15 at 11:00AM UTC for a RAM card replacement. Expected downtime should be less than one hour. We will update this post as the maintenance progresses.

[02:45 UTC] Update: The current RAM card is causing some stability issues with the server. We are monitoring the server constantly to insure as little downtime as possible.
[11:10 UTC] Update: We are bringing the server down for RAM replacement.
[11:50 UTC] Update: The faulty RAM card has been replaced, and the server is fully operational again.