Thomas Esser <te@dbs.uni-hannover.de> wrote: > Personally, I don't know a single user who has ever needed one of the > vir* commands. And ini*, is provided by passing -ini, e.g. "tex -ini" > instead of "initex". Anton has used that too, meanwhile, as far as I know. Anton, is it okay to close this bug? Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer