HTML and PDF documentation updates for the latest changes