bringing doc/ in sync with gh-pages