Eli Zaretskii <eliz@gnu.org> writes:

>> Cc: Shenghuo Zhu <zsh@cs.rochester.edu>, 79199@debbugs.gnu.org
>> From: Manuel Giraud <manuel@ledu-giraud.fr>
>> Date: Sun, 10 Aug 2025 12:33:32 +0200
>> 
>> Robert Pluim <rpluim@gmail.com> writes:
>> 
>> > stick a
>> >
>> >              (let ((warning-inhibit-types '((files missing-lexbind-cookie))))
>> >
>> > around the loading of the file.
>> 
>> Thanks.  Do you know if we need to have both the fix at write time and
>> the fix at read time?  Because FWIW, with only the fix at write time I
>> don't see any warnings anymore.
>
> The fix at read time is for when Emacs loads a file written by an
> older version of Emacs.  If that could happen (e.g., when Emacs 31 is
> first run after being installed), then we need also the read-time fix.

Ok.  Here is, I think, a complete version.