Editorial, “Mining Industry Updates”, jmmf, vol. 64, no. 1-2, pp. 23–28, Oct. 2022.