> From: João Távora <joaotav...@gmail.com> > Date: Sat, 31 Aug 2024 23:14:04 +0100 > Cc: fernandodemorais...@gmail.com, 72...@debbugs.gnu.org > > On Sat, Aug 31, 2024 at 8:57 AM Eli Zaretskii <e...@gnu.org> wrote: > > > > Ping! Ping! João, please respond. > > I'll not be implementing this. Might be a good idea, who knows. Maybe > ask Stefan for his opinion.
Thanks. Stefan? If no one thinks this is a good idea, I guess we should close this as wontfix?