If they did they personally lost quite a bit of money in the process. Just the initial sell resulted in a very large number of their coins selling for below the market average (because there's more exchanges than just Coinbase/GDAX). Those ten cent buys won't make up that difference.

How do you know that?

FWIW - I've set ridiculously low buy orders on Bitcoin exchanges and had them filled by flash dumps and I wasn't the one who caused the crash.

Crypto markets are notoriously volatile. This isn't the first nor the last time this will happen.