I've updated the website, and it's now built with Sphinx 1.1.3. If everyone updating the website can check that their Sphinx version is up to date, it will keep things neat in the pages repository. Thanks, Thomas