Remove manual page subsections from HTML TOC
Formatting improvements
Introduce links for single and multi-file
Fix all headers
Demo links in manpages, PDF, single-page HTML