New miniaturized instruments will help detect pollutant gas sources, from power plants to volcanoes.
Space.com