On Mon, 28 Feb 2022, Kai Tetzlaff wrote: > Tino Calancha <tino.calancha at gmail.com> writes: > > Hi Tino, > >> Could you check if you still see the issue with the following patch? > > no, I didn't. Your patch seems to solve the issue, too. Thank you Kai; I have pushed the fix to the master branch. Cheers, Tino