I tracked down a four decade old TeX file Knuth used in a lecture from 1981 and restored the printed version.