On Tue, Oct 14, 2025 at 05:29:54PM +0200, Daniel Wagner wrote: > The change is unit tested, so I think most obvious bugs are gone. On the > callsite the change is straight forward: This looks very nice!