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