Eli Zaretskii <eliz@gnu.org> writes:

>> From: Manuel Giraud <manuel@ledu-giraud.fr>
>> Cc: rpluim@gmail.com,  samuel.thibault@gnu.org,  bzg@gnu.org,
>>   Sebastien.Hinderer@inria.fr,  78474@debbugs.gnu.org
>> Date: Sun, 03 Aug 2025 11:17:18 +0200
>> 
>> > I see no reason to make this a user option.  It should be a simple
>> > variable.
>> 
>> I have used the DEFVAR_BOOL macro but no defcustom: does that make it a
>> "simple variable"?
>
> Yes.  To make such a variable a defcustom, you need to add it to
> cus-start.el.
>
>> Sorry for my lack of understanding of Emacs internals here.
>
> No need to feel sorry, no one is borne with this knowledge.

Thanks.  Here is the new version of the patch that, I think, addresses
all the left issues.