> From: Gavin Smith <[email protected]> > Date: Sun, 26 Apr 2026 22:01:37 +0100 > Cc: [email protected] > > I remember that the convention of merging index entries with the > same sort key was very old (from when I looked at this before, several > years ago), but I thought we could reconsider this, as I do not actually > see any advantage of merging the entries. > > Does anyone have an opinion on this?
Isn't this what causes the Index to have stuff like Foo bar.......................................42, 142, 442 rather than Foo bar.......................................42 Foo bar.......................................142 Foo bar.......................................442 That is, if the same subject is mentioned in several places, have on cumulative entry for it in the index with all the pages? If so, I see a clear advantage to merging the entries, at least for non-punctuation characters.
