I couldn’t fully apply Igor’s patch for some reason, so I had to patch it from scratch. At a quick glance, it appears similar though.

> On Jul 14, 2025, at 21:24, Daniel Jakots <danj@chown.me> wrote:
> 
> On Mon, 14 Jul 2025 20:04:33 -0500, Horia Racoviceanu
> <horia@racoviceanu.com> wrote:
> 
>> Accepted, with minor modifications. Thank you!
> 
> Can you point out the minor modifications please? It's easier than
> checking a diff of diffs.