BTW, what does the `mf' in `texmf' stand for? mf = metafont. Knuth's original digital typography project had two main fruits, TeX (for typesetting) and Metafont (for typeface design).