Not sure if Linux and git beat spreadsheets and Stack Overflow. But if we're measuing individual contributors and not products - then he's still probably ahead of everyone else.