Most of every humans knows that the issue for coal miners was not about better tools, but about their job being made obsolete, similar as what LLMs are already starting to do, and will likely do to a much greater degree in the future. Coal miners didn't become 'coal extraction machine operators' - they became unemployed.

Countless lives were completely destroyed in spite of 'government retraining' promises. Those who carried on managed to do through some menial labor and other jobs, many with even worse conditions and for worse pay. For instance trucking was a fairly common new profession - where you're away from family pretty much all the time, and getting paid even less. It's a horrible job, but it's the sort of work that was left for them.