Is GitHub a great product because the founders optimized for happiness or where they only able to optimize for happiness because they had a home-run product on their hands?