TOC anchor on non unique headings

[Mic92]

If 2 headings start with the same words, the anchor tags always jump to the first heading. If a name collision is detected, it would be nice if some unique value would be generated to avoid this.

[albertschulz]

this feature is crucial for us