> From: Gavin Smith <[email protected]> > Date: Fri, 25 Nov 2022 22:12:21 +0000 > > I'm starting to think that it should be index entries *before* the @item that > are associated with the @item, not after it. I feel this may be easier to > implement. This would leave the Info output unaltered.
This is how things were all the time anyway. Having index entries after the @item is sub-optimal even in Info. So I think keeping this rule, but this time perhaps documenting it better, is TRT.
