David Carlisle wrote --
> so perhaps this
> is the wrong mailing list after all, but it does not seem worth moving
> this to latexbugs@.. now.
No need, it is already there.
I agree with David's analysis, including the caveat:
> but I'd need to think about it more before changing the distribution.