Deployed Travis CI build 872 to GitHub pages.