Yeah it was asked for. And there’s more than that.
Npc miners were an awful idea but this is what the ‘gimme themepark immersion’ asked for, amongst other things. And to be fair, miners have been mining too much anyways.
But don’t worry. You can blow them up to stop them mining your ore.