Probably not,
but it could be done if someone felt the urge.
Well, maybe not Knuth.
Even with a finite number of monkeys,
it could probably be done before he gets his next volume out.
Vol 4A is out already. Not sure how long 4B will be, but
I wouldn't be surprised to see it in 2 to 3 years.
BLS