Minor doc fixes and gh-pages

These were just doc changes to test gh-pages, but you might want also to generate gh-pages and merge from  mine or else use http://jj.github.io/setup-gh-pages to do it (I actually used this as a first test of that)