Fixing accidental merge of Mining and Repair guides.