I'm not saying the Turing Award isn't a big deal. I'm saying the Turing Award is less famous than LaTeX. [EDIT] Downvoters: Just out of curiosity, are you mor

I'm not saying the Turing Award isn't a big deal. I'm saying the Turing Award is less famous than LaTeX. [EDIT] Downvoters: Just out of curiosity, are you more unhappy with me pointing out the incredible practical contributions that Lamport has made, or that I might be somehow questioning the relevance of the Association for Computing Machinery?