A troglodyte miner