Have ikiwiki generate anchor names based on heading's text
Currently, the toc plugin gives us anchor names numbered in function of the page title’s hierarchy. This causes at least two problems:
- These names (and the corresponding links) then change when adding or re-ordering sections, and then we can’t (or rather, should not) be using them to point people to a specific section, at least on communication media that’s archived.
- It prevents us from automatically displaying links to these anchors when hover’ing a title (see parent ticket).
IIRC there’s a third-party plugin that forks the toc one and generates anchor names based on the title’s text.
Parent Task: #9535