Possibly I did not make my point clearly. I am in favour of having the classification for metalliferousmines as just tin, iron, aluminium etc instead of the plethora of associated mineral types. There would have to be exceptions with minerals such as gypsum etc. where the mineral is used with little refining.
Putting rocks into their basic classifications is surely much simpler than having standstone, limestone, marble, bathstone ad infinitum.
There are so many local names and misnomers with rock types that just add to the confusion. I am thinking of marble where most "marbles" are just limestone that takes a good polish.
I don't know that way the listing has been constructed for the site but is it possible to have either sub-type fields such as sedimentary rock with subfields for sandstone and then be able to further refine the search for building stone, flagstone etc?
It's not an easy one and I wish Simon all the best in trying to keep everyone happy. He will need the wisdom of Solomon for this.
Don't wait for a light to appear at the end of the tunnel, stride down there and light the damn thing yourself