On Fri, 10 Feb 2023, Ziemowit Laski wrote: > Second version of my patch. Please let me know if I forgot something. I believe this looks good, thanks. I'll give it another try (in a day or two), and push it once I've done that if it works fine. // Martin