Deployed Travis CI build 825 to GitHub pages.