I doubt he would be enthused Me too. Never mind, sorry I mentioned it. (Although even `tex' announces itself as `This is TeXk', but it is only relatively small web2c-ish changes that caused that, not any significant extensions.) Karl P.S. I'll be offline until next Wednesday. Happy hacking everyone.