Hi Martin,
A469, column 2, line -11: the name should be
Leontief, Wassily Wassilyevich
Thanks, but that was reported in the 2020 tune-up and Knuth declined to
change it. I quote his (handwritten) reply:
dek> It's Wassilyevich in Russian but Wassily in English --- he sent
dek> me a postcard saying that, on 25 Feb 1983.
Best,
Karl