I just thought I'd put that out there:
I'm indifferent to real world/randomized minerals, but keep in mind that types and names of minerals are quite pointless for the most part as the only thing we care about a mineral is (in order of importance, IMO):
1) is it an ore that you can use to forge stuff (and assorted weapon/armor rating)?
2) does it melt/burn?
3) what color is it
4) the value of furniture made with it (this is more important if 1 is true)
5) the name
If I missed something let me know. Anyway, the proportion of materials that fulfill #1 is tiny compared to the total amount of mineral types, so it's often easy to make a list of metal-bearing rock, and generally the rest of the minerals are just filler, or for role playing reasons. Sure, some dwarves like felsite more, but who can micromanage the tastes of 200 dwarves?
In fact, I tried (and failed) to make a mod that could turn any generic rock into "generic dwarfrock" for building more or less uniform things (and a magma-safe version that used magma-safe minerals) just because I didn't want to manage tons of types and colors of rock
I wouldn't mind to have "fantasy ores" randomized tho. A lot of settings allow the use of special metals, found in various locales, not just "super tough ore to seal off huge demon army".