METAFONTs from Ivan Derzhanski
work env setup
convert Chen's translation to LaTeX
remove unnecessary METAFONT intermediate files