v20/develop
Track the current page in the left TOC
Fix lost images and links in the postprocessing PDFs/HTML
Unify HTML and PDF documentation builds across all sections