Couldn't mention it because the forum didn't work to mention it. Once it was fixed, no need.

The server probably just needed rebooting.

I tried emailing Chris via the "Contact forum administrator" link, but that bounced with "unknown user".