Have ikiwiki generate anchor names based on heading's text
Originally created by @intrigeri on #9536 (Redmine)
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