If I'm not using tetex, do I need it and all those fonts? Are they used by any other major components like maybe XFCE? Thanks, -- Knute Johnson Molon Labe...