More gh formatting
Merge branch 'docs-devel' into gh-pages