Subject: Re: bug#75143: debbugs info manual name

From: Michael Albinus <[email-masked]>
Date: Sat, 28 Dec 2024 12:32:01 +0100

Morgan Smith <[email-masked]> writes:

>>> Hello!

Hi Morgan,

> When selecting an info manual it still takes me a second to remember
> that "Debbugs UG" means user guide.  Maybe this could be fixed by adding
> the short description of the manuals to the Info auto-complete menu
> (`Info-menu').  I might look into that but that would belong in a
> separate bug report.

Good idea. You could reuse this bug report for tracking your actions.

>>> Thanks,
>>> Morgan

Best regards, Michael.