Maybe 20% have been sold, also not all that "pension funds and other last-sucker-in-line" will have bought on the all time high. The real number is arguably way lower
But forgive DHH, it is hard to get the numbers right when you are in rage mode about Twitters IPO.