@mansr @me_ @bloor Meanwhile my father rendered it as "hotmetal." "Hotmeal" would make sense too, though.