Anchors do not work

Hm, it is unfortunate if we need to use the title, if we change a title, the link will break. I believe the github markdown supports anchors. Is there no such support on mkdocs? https://squidfunk.github.io/mkdocs-material/reference/

https://daringfireball.net/projects/markdown/syntax#html does allow for inline HTML to add anchors for example. Also https://www.mkdocs.org/user-guide/writing-your-docs/ says

Linking from raw HTML
Markdown allows document authors to fall back to raw HTML when the Markdown syntax does not meets the author's needs. MkDocs does not limit Markdown in this regard. However, as all raw HTML is ignored by the Markdown parser, MkDocs is not able to validate or convert links contained in raw HTML. When including internal links within raw HTML, you will need to manually format the link appropriately for the rendered document.

So I think we can keep our explicit IDs by using HTML?

Actually, I would rather improve the Headings but thought that would be a step to far. And I would rather not have to mix HTML and Markdown. The general vies is that markdown is 'easier'.