On Tue, Jan 07, 2025 at 09:25:13AM +0000, Mark Hindley wrote: > Proposed patch attached. Do you have any comments on it? I would say: the loop can now also go. Otherwise looks fine. Bastian -- Bones: "The man's DEAD, Jim!"