On 24. Jun 2022, 07:56 +0200, Eli Zaretskii , wrote: > > Gerd, would you please show the patch for that? It's not ready yet.  I'll send something later.