Yes, indeed; thanks for the changes! I did indeed review and integrate all the changes in the TeXLive tree, and they were then put in the tetex release (thank Thomas Esser for staying up so late). Note in this release that I also *enabled* the changes by default; that is, dvipsk and odvipsk are the same binary, and dvipsk is omega-enabled. -tom