Hi!

I'm working on a small mod I have not released, and I wanted to count the number of actively mining miners at any given point. I noticed that crafters have a shared is_crafting field, so I'm wondering if we can add a similar field/API for all the different miners. I imagine this could be ...