Mining relics: What was this building used for?

Reddit: r/mining reports: Mining relics: What was this building used for?. Full body text was unavailable at ingest time, so this brief is based on headline context.