v20/develop
Unify HTML and PDF documentation builds across all sections
Reorganize the documentation folder layout
Merge branch 'master' into v20/develop