Downtime

I've recently become aware that some of the content on the site (namely documentation) has reverted to earlier version, which I'm guessing happened the last time the server had some downtime. Everything should be fixed now.