I mean yeah does it suck to lose your job. Of course it does but I don’t recall this much pity for people who had grown up typing on typewriters when computers become mainstreamed. Economies transition. The miners aren’t unique. And let me say as a miner’s great grandson (my mom’s granddads were both miners), I’m glad mining has declined. It’s terrible. It’s bad for the environment, it’s bad for the miners. The only thing good it does is fake nostagia.