reinvigorate mining

[Frank_Stein]

Is there any reason we use mauxite, molitz, and pharosium instead of calling it something like iron, glass, and copper? Seems like we moved away from fake names with the medical chems, so I was wondering why that's still like that for mining.