Sorry, I just wanted to point out that Don Knuth said that, not Brian Kernighan. I know it seems trivial, but to me it's the difference between an idol and a god. Otherwise your post makes perfect sense to me. :)