> I'm happy to close the bug, but it would be best if Werner were
> able to run the new code and confirm that it is fixed. I don't
> think he has done so.
If someone sends me a new x64_86 GNU/Linux binary (or a link to it),
I'll happily do that – I don't have the time to compile TeXLive by
myself.
Werner