gh-pages: new version of the manual