Web1 is down for emergency software maintenance. We are working to resolve the issues and bring the machine back up.

Update [12:45 GMT]: Web1 is fully operational again. The problem was a misconfiguration in the boot manager.