> that I hadn't seen before (though the history of computing is long and Knuth probably noticed it in 1965).

I love that aside. Probably would make a good T-shirt or bumper sticker, like: "Congrats on that clever algorithm you just came up with! Just remember... the history of computing is long and Knuth probably noticed it in 1965.