Jeff Dean Facts

Same idea as "Jon Skeet facts": https://meta.stackexchange.com/questions/9134/jon-skeet-fact...

(context: Jon Skeet is (was?) the highest-rated user on StackOverflow.)

A bit of context: https://slate.com/technology/2013/01/jeff-dean-facts-how-a-g...