I see. Also if they had bought 100 million shares it would have popped up way more than 20%.

I wouldn't have sold mine at only a 20% premium at this point.