renderDokkaHeadings

Dokka reads heading text and HTML anchors, while MkDocs reads the same attributes directly.

Generated with STIG