Yes that was my point (the first bit). And in isolation it may well be a pissy amount. But not when you add in all the mineral exports that are going to be turbo-charged by a global shift to renewables/batteries/EVs. For this reason the next decade will be a great time in history for copper/nickel/cobalt/lithium/manganese/silver/platinum/palladium/scandium/rare earths, and possibly hydrogen, exports.
And that's not even considering the potential of Australian-made green steel being pushed by the likes of Twiggy Forrest. If Aussie green steel comes to fruition, and I have no reason to doubt Twiggy, it would bring in so much money that it would dwarf any revenue gained from exporting met coal to foreign steel makers.