On 2021-06-13 6:55 p.m., Hannes Domani wrote: >> Here's a new version. Does this one work for you? > > Yes, with this everything works, thanks. Awesome! I'll wait for tomorrow for merging, in case Tromey or someone else wants to comment. Pedro Alves