It's also largely irrelevant. Even if they all get dumped in the market, at once, the market would quickly absorb them because of all of the open shorts and hungry holders, and you can't dump them twice.

Once and then it's over.