We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Mon Jul 31 00:09:08 MDT 2017: The server became unresponsive due to a problem with its network interface. This problem has been resolved and it's accessible once again now.
