I think this was a joke (along with all the other details of Knuth that have been lost or confused in the intervening 17,986 years)