Adds the Ore Eraser toolbox shortcut which allows you to erase ore from the map.
Counted when a user downloads a mod release for the first time. Before Nov 2021 it counted everytime a user clicked the mods download button.
Counted when a user downloads a mod for the first time. Has no data before Dec 2022