Adds prospecting to enrich ore patches. Extends the lifetime of ore patches with some investment, but comes with the drawback of making mining slower.
Mods introducing new content into the game.
New Ores and resources as well as machines.
Looks like miners that lost all non prospected ore stop working and don't continue mining the newly prospected ore.
This should be fixed now! Thanks for the report!