--snip-- mining requires increasing quantities of electricity[5] and was responsible for 0.2% of world greenhouse gas emissions as of 2022.