Any chance you could add the single tile mining. It's a quality of life mod that means you don't have to dig all the tiles around a rock tile in order to lower one end, which is a huge time-saver.

Here are the details

https://forum.wurmonline.com/index.php?/topic/162688-released-one-tile-surface-mining/

thanks for considering this!

Hey Molten,
yes, that’s a good idea. The mod will be available after the next server restart. Thanks for your feedback!

Marvellous, thanks for adding so quickly!