[not_doctorq]

Absolutely true for GitHub; there was an exodus a few years after the acquisition presumably once some key vesting dates hit…