We are aware that there are issues affecting this server. We are working to get them resolved.
Update @Sun Jul 16 05:31:48 BST 2017: The server became unresponsive due to high load and has been rebooted to restore service. It is now online and available for use once again.