That’s because Knuth at some time thought he had it from Hoare. See https://shreevatsa.wordpress.com/2008/05/16/premature-optimi...

I guess we’ll never know whether he was right, but all we know is that he used it at least twice in print, while we don’t know any time Hoare used it.