We are aware that there are issues affecting this server. We are working to get them resolved.
Update Thu Dec 15 11:20:46 MST 2016: The server became unresponsive due to load and was rebooted to restore service. We will continue to monitor the situation.
