gh-pages: minor improvements