Well, the choice may not be so obvious, because the first one to be wrong was probably etex : the programs are names einitex and evirtex. I tend to think they should have been named inietex and viretex, but maybe only a matter of personal opinion. So what should we do to fix pdftex ? -- Fabrice