Re: Improve GDB's first user experience by reducing "print_gdb_version" output

On Tue, 2025-05-27 at 17:43 -0300, Guinevere Larsen via Gdb wrote:
> I'm sending this here in case there is some rule that forces us to
> write the copyright or free software status at initialization, before
> spending the time to turn this into a patch.

I had remembered that interactive programs should generate copyright
information at startup, but the most I can find in the current GNU
Maintainer's manual is:

> Sometimes a program has an overall copyright notice that refers to
> the whole program. It might be in the README file, or it might be
> displayed when the program starts up. This copyright notice should
> mention the year of completion of the most recent major version; it
> can mention years of completion of previous major versions, but that
> is optional.

https://www.gnu.org/prep/maintain/maintain.html#Copyright-Notices

Which is a "might" not a "should" or "must".