I compiled the port with the patch you provided.

I and another person have done testing with Chrome on a couple
different platforms, and we have not been able to replicate the error
so far.

--TimH

On Mon, 29 Jan 2024 19:45:27 +0000
Stuart Henderson <stu@spacehopper.org> wrote:

[...]

> Another possible approach (untested)...

[...]