Doc tweaks (also cherry-pick to 3.2)
Fix issues in the HTML generation, improve code rendering and web-page titles, de-anal-ize the ana-diff intermediate files ;-)
Fix issues in the HTML generation, improve code rendering and web-page titles, de-anal-ize the ana-diff intermediate files ;-)