HTML Cleanup

Remove GitHub-specific formatting artifacts from the output HTML

Remove anchor links from headings Remove user-content- ID prefixes Strip data-* attributes