Deployed Travis CI build 802 to GitHub pages.