I'm not being a pedant. Where does the inexpensive electricity come from? It is very much about rich and poor. And making electricity is a very important thing.
Coal is currently important, but not that important. As a finite resource it's also going to be gone in ~2 thousand years (big error bars on that though) which is a fairly short time period all things considered. For perspective let's ignore all non-renewables + wind and solar and just look at Hydropower.
Hydropower use reached a record 3,427 terawatt-hours, or about 16.1 percent of global electricity consumption. That on its own is enough to provide useful power to everyone sure we would not be using it for home heating but lighting, computers, and refrigeration would easily make the cut even if AC would be far too expensive for most people. aka, most people get a setback but not to the dark ages. Toss in just wind power and you could meet the world’s electricity needs at perhaps a 10-30% increase in electricity costs.
In the end there is a huge inertia in the current system; dropping coal in say 10 years would be possible, but ridiculously expensive. Dropping it over the next 100 might just happen without anyone noticing.
PS: Solar is really interesting as it's cheaper than coal in some areas, but inertia and changes in the supply curve are keeping their prices linked. We are heading to a supply shift so peak costs might actually start taking place at night.