Board Thread:General Discussion/@comment-38315840-20190809222049/@comment-38315840-20190809224911

BunsenH wrote: I suppose we could merge the Mine and Maximum Mine pages into the Mini-Mine page, and have one "Mine" page with three tabs. Ok, good. I think we should name it "Types of Mines"