We are aware that there are issues affecting this server. We are working to get them resolved.
Update Sat Jul 8 12:47:57 BST 2017 - This server is now accessible and available for use.