Re: [BUG] HTML export does not preserve footnote label [9.6.15 (release_9.6.15 @ /usr/local/share/emacs/30.0.50/lisp/org/)]

[Max Nikulin]

On 03/05/2024 13:59, Protesilaos Stavrou wrote:
> > From: Max Nikulin Fri, 26 Apr 2024 16:53:23 +0700
> >
> > Another option may be to rely on the existing one:
> > `org-html-prefer-user-labels'
>
> Yes, sure. It is fine to reuse an existing user option. Though reading
> through its docstring and the code, I cannot tell what this is doing
> exactly. Is it applying to all HTML elements, or just headings?
>
> On my end, I have that option set to nil, but exported headings do use
> their CUSTOM_ID.

It seems it was broken by
https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=5e9953fa0e

`user-label' is set to CUSTOM_ID when it is set, so checking the 
variable is not effective any more.