My last, greatest, and most stable colony before release has a set of three mines, all staffed with a work crew proficient in the finest technology in the Empire. I looked in on the mining module, and I found that multiple workers can enter the same mine. But looking at the Capacities tooltip (real helpful, by the way!) I note that I have space for several dozen miners. Can we assign more mining teams to the same building? Or is this mysterious x/75 miner space some sort of error?