On Sat, Dec 25, 2021 at 02:10:29PM -0800, Per Bothner wrote: > Two requests: > (1) Don't generates the implicit id="Electron-1" when it immediately follows > an explicit id="Electron".
I do not think that it is a good idea, the @anchor anchor and id should stay different from the @node, or section @-command id and anchor. It is better to keep it, but it would probably be even better to have a class to make it possible to select @anchor generated anchors. > (2) Add the id attribute to the <h4> element rather than generate an empty > <span> node. I did something along those lines, but not when there is a header, in order to keep the anchor before the header, as it was agreed, long ago that having the anchor before the header was better for navigation. -- Pat
