John Jones writes: John> I think the default matches what many users would want. For example, John> many of the entries are there from TeX/LaTeX. This wouldn't affect John> non-TeX users (so no harm done) Yes it would, because non TeX users might very well want to use those extensions for something else. Even TeX users actually, could have those extensions meaning something different in a non TeX context. -- / / _ _ Didier Verna http://www.inf.enst.fr/~verna/ - / / - / / /_/ / E.N.S.T. INF C201.1 mailto:verna＠inf.enst.fr /_/ / /_/ / /__ / 46 rue Barrault Tel. (33) 01 45 81 73 46 75634 Paris cedex 13 Fax. (33) 01 45 81 31 19