Where the hell did that 9BTC dump come from?

I thought the top 19 were accounted for on the richlist and thought they were only allowed to sell their stake and not dump their discounted coins?