That makes sense. His cover letter is dated 1974, and TeX was released 1978.