17th December 2016
We are aware that there are issues affecting this server. We are working to get them resolved.
Update - Sat Dec 17 18:06:51 MST 2016: The server became unresponsive and was rebooted to restore service. It is currently available.