We are aware that there are issues affecting this server. We are working to get them resolved.
Update Wed Jan 16 05:15:01 MST 2019: The server became unresponsive and has been rebooted. It is not online and available for use.
