Convert HTML5 to Markdown using Pandoc
Fix headings and TOC
Add GitHub-flavoured self-links to TOC