That's a lot of perspective involved.
If I were a miner, and heh, I know I'm not, I'd be selling all the time, but especially stockpiling for massive price swings. I'm almost certain most big miners were wise enough to recognise the tops, and sold most if not all during then.
They're still sell at 1k or 2k, just as they were selling at 3k last year and this, just only enough to get by.
What miners do at sustained low prices is simply shut down.