Mining: Reducing tedium and strain

[Haste]

We're kind of looking to do the opposite in the medium to long term, namely turning mining into cutting chunks out of bigger asteroids and revealing juicy chunks of ore inside. So, making it more interactive. I don't think we're very interested in passive mining.

As I understand that requires some new FLHook version or something, which might not be doable. But hey, worth a suggestion.

It does not "Require a new FLHook version". It'll likely require some FLHook work to spawn these asteroids (although technically there is another option, which is to just spam a crapload of them so they don't run out before a server restart). The most substantial amount of work is modeling the asteroids. Everything else -- besides the FLHook component, which I am unfamiliar with, but expect to be fairly doable -- is close to trivial.

---