[okmjuhb]

That's still in progress (and, given that Knuth is more than seventy years old and still has at least 3 books to go before he will begin to revise them, odds are such a revised set will never be released).

[Groxx]

That's kinda what I was anticipating. But a guy can hope, right?

[tjr]

Knuth still seems hopeful, so we might as well join him.