On Sat, Nov 26, 2022 at 03:04:37PM +0100, Patrice Dumas wrote: > I thought a bit more on that issue, and indeed, even if the index > entries lead to the @item when they are before the item, it could still > make sense to reparent them to the @item, at the beginning instead of > being before the @item, and, in HTML in the end of the previous <dt> or > <dl>.
I have a change that is nearly ready that includes preceding index entries inside <dt>.
