Protesilaos Stavrou <i...@protesilaos.com> writes: > Since we are now using labels for the HTML export, I think it makes > sense to optionally use those for the anchor tags as well. > > See the attached patch for a possible way of doing this. > > As always, you are welcome to make any further changes.
We can indeed add such option, but is it of any practical use? Do you have examples of workflows when such new option will be useful? -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
