DNS update: planet.openstreetmap.org now on horntail.