Crazy how many things are named after metals, just the other day I realized Plumber and the latin word for lead Plumbum were related, and the horrifying tangent being all pipes for most of history were made with lead and thus Plumber is just lead worker, and the title carries that history despite modernly being associated with Mario and more than enough sexual innuendos. Wild.