Site is down

The site is currently down – the sysadmins are on to it and it should be up soon. At the moment I am unsure of the cause. I will update again soon.

[Update] The site is now back up.