Public documentation repo
v20/develop
Merge branch 'master' into v20/develop
Normalize text-file encoding to UTF-8 with BOM; add .gitattributes
Unify HTML and PDF documentation builds across all sections