6th November 2016
We are aware that there are issues affecting this server. We are working to get them resolved.
Sat Nov 5 06:53:50 MDT 2016: The server was unresponsive and had to be rebooted. Now it is back online and running fine.