And if you don't know who Brian Kernighan is, you're not informed enough to judge him.