is the trip test It's been a long time since we distributed plain old "TeX". This is TeXk... But for an extended TeX, it does make sense to do things this way, and we're looking into this. Glad to hear it. Thanks.