Thanks about the Mars origins. The iron is obvious, the agricultural already guessed: plough sheers cast from iron. Funny enough, that’s also appears in my real family name. I have now only some one-out-of-a-million red hairs by the wips of age left. I prefer the milkyway over the candymars though.
Caving? You’re joking. Descending to hell, 6000 km’s to earth’s core with such walls. Never. Grok? MB? Caves… rabbit holes.