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!