[RFA] Allow to document user-defined aliases.

[Eli Zaretskii]

> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: gdb-patches@sourceware.org
> Date: Mon, 25 Jul 2022 22:35:45 +0200
> 
> > But it doesn't do much harm, either.  Moreover, it is useful to tell
> > the user that some handy aliases exist related to the command.
> The idea/reasoning is that if the user documents specifically the alias,
> it means that the alias is not properly documented by the doc of the
> aliased command.

I'm questioning the over-reaching validity of this assumption.  I
understand that this would be your logic, but I'm asking whether some
other GDB users could have a different perspective on this.

> I can for sure implement the alias -s option if there is an agreement
> that this is better.

Let's see what others think.  Mine is just one opinion.

Thanks.