I believe most of that was sold specifically to pay the taxes he owed. Not all of his holdings were just subject to long term capital gains (deferred until realization). Some were some kind of RSU or option like deal which were taxable at the IPO.