The frontend web server (nginx) on Web505, Web517 and Web630 is currently down. Our system administrators are working to resolve this issue as soon as possible.

2018-05-28 8:22 UTC: The issue has been resolved and nginx on all 3 servers is now back online.