[ Class c bug: IC 1.23] Miners mine pipe heads of other near miners.