"We believe this is now fixed. Thanks very much for reporting it, and to Robert and John for diagnosing it so quickly." Of course it's good that it's fixed. But it had been reported 20 hours previously as Bug #513927: internal server error without anyone picking up on it. Perhaps because the reporter was not a 'usual suspect'?