I don't believe the site-maven-plugin for deploying sites to github
will be quite up to our needs, given that we'll want to also host
previous versions of the site.