Stellaris: Cosmic Storms and the free 3.13 'Vela' update out now

Instead of giving access to Crystal Mines, Gas Extraction Wells, and Mote Harvesting Traps they now increase the number of mining districts available on the planet and, after researching the technology to extract the relevant resource, add a small amount of resource production to miners on that planet.

Oh finally, managing where and if you had the special resources was uselessly tedious.