Not to mention that he probably owns over $200m worth of GitHub stock.