The environmental argument crumbles a bit when defending miners, don't you think?
GPU mining is poised to be permanently done. There is no "lesson" to teach miners, because there is no expected repeat of such a run on GPU mining again.
Meanwhile, the implication from your post is that it is better that the tens or hundreds of thousands of GPUs miners currently own and may offload would be better in a dump, just for retribution.
Let them clean up their environmental disaster.
But graphics cards are what we REALLY need to focus on and you better believe you are tuning in for the next big show. It's almost manufactured.