bug#54961: 28.1; info-display-manual completions issues

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Howard Melman <hmelman@gmail.com>,  alan@idiocy.org,  juri@linkov.net,
>   larsi@gnus.org,  54961@debbugs.gnu.org
> Date: Tue, 19 Apr 2022 15:28:37 -0400
> 
> Eli Zaretskii [2022-04-19 21:55:34] wrote:
> > If we want to support individual DIR files for each package, which
> > would mean having the same section mentioned on multiple DIR files, I
> > guess Info-insert-dir should be taught to rearrange the menu items
> > such as that all the items from the same section wound up together.
> > (This might make Info startup slower, though.)
> 
> Isn't that what `Info-insert-dir` does at the end after the
> 
>       ;; Now take each node of each of the other buffers
>       ;; and merge it into the main buffer.
> 
> ?

Yes, in a function deceptively named Info-dir-remove-duplicates.