A theoretically small change we were making to our files downloads server has gone slightly awry which has meant file downloads have been offline for a while this morning. We're in the process of reverting the change and hope to have them back online again soon.

If you've been trying to download files it's possible you would have received an error; apologies for the inconvenience. Some files will still work but if you have problems, please stay tuned for updates!

Update: Aaaand we're back.

wwwhhhhaaaaaatttttt???