Mark ore with the Peppermint tool and construction bots will start mining it. Or enable Nougat Mining mode and it'll happen automatically!
Mods introducing new content into the game.
New Ores and resources as well as machines.
Related to roboports and logistic robots.
the Red print is fine but it'd be cool if you detected picker extended because it has an ore erase tool which would make sense to link in with :)
Have you had a chance to consider this? A tool that allows selection of the desired ore similar to how the zone planner in AAI Zones works would be a nice thing to have.