Small changes to force a jekyll build on github
Merge branch 'docs-devel' into gh-pages