Ensure gh-pages branch up-to-date, fix #3