[tor-commits] [collector/master] Update directory authority IP addresses.