On 26/04/2024 15:17, Protesilaos Stavrou wrote:
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.
[...]
+(defcustom org-html-footnote-use-label-for-anchor-text nil
Another option may be to rely on the existing one: `org-html-prefer-user-labels'
