On Thu, Feb 2, 2023 at 10:25 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
> Ping!

This ping is mostly for Stefan, right? I'm OK with:

* Disabling the warning in non-interactive sessions

* Doing nothing

* Adding special logic to elisp-mode.el if someone explains what

harm this is producing.

João