v20/develop
Unify HTML and PDF documentation builds across all sections
Reorganize the documentation folder layout