I initially assumed that this was a random person using Don Knuth as a username, instead of, you know, the real deal.