On Wed, 30 Jul 2025 18:02:22 -0000, Job Snijders wrote:

> Hey Jerry - thank you for investigating this!
>
> This looks OK to me. What do other vi'ers think?

Looks good to me too.  We should make sure the fix gets upstream
to the nvi port as well.

 - todd