> From: João Távora <joaotavora@gmail.com>
> Date: Sat, 13 Sep 2025 10:12:38 +0100
> Cc: me@lua.blog.br, philipk@posteo.net, 79374@debbugs.gnu.org
>
> On Sat, Sep 13, 2025 at 8:57 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
>  João, any comments on the patch?  Should I install it?
>
> No, don't . This is a significant feature which is missing testing,
> documentations and a much more thorough review.  I don't
> have time for that right now.
>
> I can say that, from a very cursory review, it is the best version
> of this  feature ever proposed to Eglot.

OK, thanks.  Should I ping you about this at some later date?