On Tue, Oct 25, 2022 at 05:12:12AM +0200, Michael Heerdegen wrote: > writes: > > > > Thanks, > > > > Thank *you* :-) > > > > Cheers > > Actually, we all have to thank Mattias EngdegÄrd who has fixed all of > this in the meantime (in master) ;-) Wow. Thanks you all. Cheers -- t