Outside China, the world’s use of coal has barely changed since the late 1980s. It was just over 20,000 terawatt-hours back then, and almost four decades later, it is still the same.