Doc tweak; add gh-pages to gitignore