Web31 will undergo scheduled maintenance Monday, 17 June 2013 between 3:30 – 5:30 a.m. UTC to have the server’s chassis swapped to fix a problem with the server’s network adapter.

2013-06-17 03:29 UTC:  The server is now offline for maintenance.

2013-06-17 04:11 UTC: The server is now back online and working normally.