We are aware that there are issues affecting these servers. We are working to get them resolved.
Update @ Mon Jan 21 16:05:40 GMT 2019: The server became unresponsive and has been rebooted. It is currently undergoing a file system check.
Update @ Mon Jan 21 16:50:14 GMT 2019: The server is online and available for use.