* Nicolas Goaziou <m...@nicolasgoaziou.fr> [2021-05-20 23:00]: > > Is there a possibility to tell Org, that <<target>> really remains > > "target" as in id="target" instead of a random ID? > > See `org-html-prefer-user-labels'.
Thanks. -- Jean Take action in Free Software Foundation campaigns: https://www.fsf.org/campaigns Sign an open letter in support of Richard M. Stallman https://stallmansupport.org/ https://rms-support-letter.github.io/
