I see http://planet.openstreetmap.org/robots.txt now has User-agent: * and Disallow: / Are we allowed to download the minute-replicate files as they become available? If not, what's the point of having them?