Adds the Ore Eraser toolbox shortcut which allows you to erase ore from the map. Resources to be deleted selectable through player based runtime settings. Krastorio 2 support.
Providing the player with new tools or adjusting the game interface, without fundamentally changing gameplay.