Added Extraction districts
Mine your base's home world for ore.
- Added Extraction districts that mine the base’s home world for ore into storage.
- Added world-type mining bonuses, richest on alien Foundry worlds.
- Changed molten worlds to be buildable as industrial-only mining bases.