general/mine-safety
Surf Wiki
Mine rescue chamber
Emergency shelter in underground environments
Mine caps
Barriers sealing old mines for safety
Pneumoconiosis
Scarring of the lungs due to inhaling dust over long periods
Afterdamp
Toxic gas mixture resulting from coal mining explosion