Sorry, I've been busier lately. I'm still very much interested in this feature, but i would like to test it myself, and ideally in more than one server.

João

On Fri, May 5, 2023, 07:02 Eli Zaretskii <eliz@gnu.org> wrote:
> From: Felician Nemeth <felician.nemeth@gmail.com>
> Cc: João Távora <joaotavora@gmail.com>,
>   adonovan@google.com, Eli Zaretskii
>  <eliz@gnu.org>, Sebastian Poeplau <sebastian.poeplau@mailbox.org>
> Date: Sat, 22 Apr 2023 11:08:05 +0200
>
> This is a continuation of the thread
>   https://lists.gnu.org/archive/html/emacs-devel/2023-04/msg00206.html
> , where João suggested we should proceed with my simpler patch until we
> hear from Alan.  This message summarizes the current situation:
>   https://lists.gnu.org/archive/html/emacs-devel/2023-04/msg00339.html
>
> I tested my patch with Sebastian's ada example.

João, any comments?  This discussion seems to have stalled.