4th February 2020
We are aware that there are issues affecting this server. We are working to get them resolved.
Update Tue Feb 4 05:30 MST 2020: The server experienced a problem during a firewall restart. We had to restart the firewall manually to get this working.