https://github.com/blog/2228-simpler-github-pages-publishing We should replace the existing placeholder master branch with the previously-maintained gh-pages branch.