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