Our server was unresponsive for a few minutes... preliminary indications are that our webhost had some sort of issue.

We're looking into it, but it appears to be ok again for now!