Just a bit of historical correction. The article/post says: "Ten years later, in 1978, his work bore fruit" This gets things pretty wrong. He got the idea i

Just a bit of historical correction. The article/post says: "Ten years later, in 1978, his work bore fruit" This gets things pretty wrong. He got the idea in 1977, and his estimate of "this will take 6 months" was pretty close, in that the initial version was finished sometime in 1978. It then took about another ten years to be "actually done". (Rewrite, add features, fix bugs, create Metafont, create WEB, etc...)