Agree where is coal, but it is hard to track since most of these have a set value and quantity at that time and is usually sold and usually tracked at which amounts, where coal is a different beast, you have different types of coal, like peat, lignite, bituminous and anthracite, then there is even in the same type different grades and quantity, like bituminous coal you will look at the water content, the ash content, amount of macerials… All of these affect their price. Then some coal is mined and consumed at source, usually powerplants are build right by coalfields, to minimise transportation costs, and the mine might be owned by the powerplant, or with a private contract where the price and quantity would not be disclosed to the public.
But if you look at USA, China, India and Indonesia, I think, so my very biased outlook, their combined coal mining, not only in $ but also in Tonnes, will make oil look like a small footnote.
I love Mint 22 so far, it really has matured where my home computer is running Mint is more stable than my work computer running Windows 11, luckily my company uses CrowdStrike so nothing to worry there.
But really I now recommend Mint to my non tech savvy friends and family, as a person who uses Linux should! But joking aside took my sister’s old laptop running Windows 7, slapped a SSD and upped the ram to 8 GB into it with Mint and she has been happy