And Thomas' changes are now also in "source" in TeXLive. I know this is messy at the moment, but since Thomas is moving fast to a release, it makes sense for TL source to track that and then stop. Sebastian