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