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.


chris