Comment 2 for bug 803284

Yes, that must be the one -- but Erik's (Sigra) concepts goes a good bit beyond my initial suggestion.
Very unfortunately we cannot count on his contributions any more (as I gathered from a recent private email).

And I don't see mines as the most important buildings any more in that context. :)
Proceed at will, HJD.