@ral yes, you are correct, most large shovels are electric, but they are diesel electric, whereby a diesel prime mover is coupled to a generator, which then feeds multiple electric motors via a distribution network. So, it's not pure electricity as such. Yes, it is easy to run a prime mover on hydrogen, but hydrogen is extremely expensive and energy consuming to produce. It is all well and good having plans to convert, but until it is cost effective, and all the energy required to produce it comes from clean energy, it's not large scale viable except as an advertising campaign. You also noted that many trucks are diesel electric, so as stated, you are still using diesel.
Hydrocarbon based energy is going to be around for a long time. The endless solar and wind energy is a myth. The UK, which is touted as being a leader in wind energy had massive energy shortages last year due it being a not very windy year.
Anyway, I'm not going to get into an argument, you are convinced there is a unicorn in the garden. I too am in the energy industry, I have been for a long time, and know what many industry plans are, but we also know what is practical in the near to mid term. Plans are one thing, reality is another. You may want to fact check on how the bulk of hydrogen is currently produced, it is far from environmentally friendly, and the cost per kg to produce