7th December 2016
We are aware that there are issues affecting this server. We are working to get them resolved.
Update Wed Dec 7 09:01:57 MST 2016: The server became unresponsive for unknown reason and had to be rebooted. Now it is back online and running fine.