We are aware that there are issues affecting these servers. We are working to get them resolved.
Update @ Thu Sep 12 05:42:48 MDT 2019: We have experienced an unexpected issue and had to reboot the servers.They are now online and available for use once again.
