On Tue, Sep 17, 2024 at 11:44:44AM +0200, Patrick Steinhardt wrote: > I think the important thing to realize is that we're talking about two > different things: Wow, I'm sorry -- I completely misunderstood what was going on in this diff. I have to say, that is quite embarrassing having written this feature only a little over a year ago. Sorry for the confusion, this patch LGTM. Thanks, Taylor