Removes mining productivity technologies from the tech tree.
Small changes concerning balance, gameplay, or graphics.
