Fixed broken href to documentation section

[Jaccouille]

The documentation note link on the left bar doesn't scroll to the documentation section upon click on the https://wurstlang.org/manual.html#documentation-comments. The href & header id are mismatched by "-hot-doc"

Left bar link : <a class="scrollto" href="#documentation-comments">Documentation comments</a> Documentation section header elem : <h3 id="documentation-comments-hot-doc">Documentation comments (hot doc)</h3>

[Frotty]

Thanks 👍