Remove cruft
Merge pull request #19103 from cachedout/remove_mine_cruft

Remove cruft