Core TeX and Metafont sources from Knuth
