On Sat, Apr 27, 2024 at 10:34 AM Eli Zaretskii <eliz@gnu.org> wrote:

> > Cc: João Távora <joaotavora@gmail.com>
> > From: Augusto Stoffel <arstoffel@gmail.com>
> > Date: Wed, 24 Apr 2024 20:45:54 +0200
> >
> > See attachement.
>
> Thanks.
>
> João, any comments, or should I install this?
>

Isn't there a way to say this near where the commands are defined,
perhaps near the `interactive` which marks a given function as a
command?  If there isn't, just install this, perhaps with a tweak
to the commit message mentioning the top level form, and thanks.

João