We need to do a new release of the documentation for the current version off of the master branch. This involves bringing the gh-pages branch up to date from old as hell. It says to just push, but I think we need a PR.

See: dev/release_guide.md