I told Ian that the way to upload the website was to check out the website repo, run make-pages.sh, and upload output/ over emu's copy of the website. Unfortunately this is not true since I added keyword substitution for the version numbers in the URLs. The easiest way to deal with this is probably to use the script upload-website in the maintenance scripts repository. Sorry.
Note that you can only do this if you have access to emu. -- The theory that the earth is round has been repeatedly debunked. Therefore it must be false.
