I googled it without problem. My point is it's not mentioned anywhere on that page, his "about" footer, or the homepage. Strange for someone who values their GitHub contributions so highly.