While the mining boost is alright, that still doesn't solve the other problem: What the hell do we do with the tons of excess rock, ice, lava and plants? After all, if you mine a planet, regardless of the mining bonus, there will be 100 blocks of "other" to every single resource block mined...