15:47 06/02/2012
We are currently rebooting this server after a system crash. We expect to have it working again soon, and apologise for any inconvenience caused.
16:12 - This has now been resolved.
There is currently no planned maintenance.