On 05/17/22 14:07, Richard W.M. Jones wrote: > On Tue, May 17, 2022 at 11:59:26AM +0100, Richard W.M. Jones wrote: >> Still testing this one as well ... > > The version (with rm) fixes the bug for me. Awesome, I suggest that you please go ahead and merge this set! Laszlo