The difference between web devs and coal miners is that coal miners were losing their jobs due to the government regulating them out of business, web devs were

The difference between web devs and coal miners is that coal miners were losing their jobs due to the government regulating them out of business, web devs were losing their jobs due to underlying changes in technology. We have a precedent for dealing with government intervention in established industries which usually involves providing support to transition to other industries. Fisheries management is full of examples of government paying fishermen to fish less for example. Yet somehow coal miners became a target of derision by a certain branch of American politicians who gleefully cackled about regulating them out of work.