27th March 2017
We are aware that there are issues affecting this server. We are working to get them resolved.
Update Mon Mar 27 23:20:45 MDT 2017: The server experienced a kernel panic. This had to be rebooted to restore the service. Now the server is up and running fine.