Comment by LoganDark

I'd never seen Knuth's middle name until your comment. I think it safely could be left out of an article.