Thomas has now released teTeX 2.0, and TeX Live has been updated to be in sync with that in its source tree. Can I ask everyone who can do binaries to prepare a new set and submit them, please? It does not matter which source you take, they are all the same today. Sebastian