On Sat, May 3, 2025 at 5:52 PM Philip Kaludercic <philipk@posteo.net> wrote:

> I've pushed a change (f41ab0b425c) to master that fixes the issue you
> described on my end.  Can you check if it does what you were expecting
> as well?
>

Yes, the new patch works.  Thank you!