Switching mining codes

Reddit: r/mining reports: Switching mining codes. Full body text was unavailable at ingest time, so this brief is based on headline context.