[Mod Request] Destructable overhead mountains

[Asraelite]

Currently when you mine out an overhead mountain you end up with an infinite stream of collapsed rock that will keep coming no matter how much you mine it. My current solution to this is to make overhead mountains act as thin roofs in RoofDefs, but then they can be mined too easily and it takes away the difficulty of having to deal with them.

It would be nice if there was a mod akin to what is discussed in the 4th post here where by repeatedly mining out collapsed rock, after a few dozen times or so, the overhead mountain goes away. This would allow you to deal with small sections of mountain that were in the way at the expanse of the large amount of time needed to deal with them.

[Hecter94]

This isn't exactly what you asked for, but you might want to check out Skullywags Roof Bomb.
It's a build-able explosive which can be remotely detonated to remove all roofs around it in a 3x3 square.
Somewhat expensive and dangerous to use but works on thick roofs.

[NephilimNexus]

Steal code from Dwarf Fortress.