David Kastrup wrote: > I don't see why you have redirected this to the TeXhax mailing list, > since it was a question about TeXlive. I am putting this back to the > TeXlive mailing list instead. Probably because I thought that was where I had first seen the thread, and when I found I had failed to cc the list on one occasion, re-sent by hand ...