The story with coal is that it has been replaced mostly by natural gas. Probably a lot to do with the shale gas boom.
It is also cleaner. Emissions are pretty much pure CO2 whereas coal also emits other compounds, e.g. sulfur, and particulates. This even includes a level of radioactive elements. So it is very polluting.
Apparently no one cares about the little leaks everywhere (or they cannot be fixed cheaply). Later on I noticed that other gas pipeline junctions -- the type that are scattered around subdivisions -- often smelled faintly of gas. I wonder if these small leaks can be avoided with better engineering or if perfectly sealed pipe fittings in the outdoors are impractical.