Knuth better not be taking the piss.