Add wiki for documentation and regional extracts

diff --git a/public/robots.txt b/public/robots.txt
index 4e2b6cae703b837b2d6f3cd65f192f540dd2d06a..2edd47453f01fff6df512b2483de3a26c552b7ca 100644 (file)
--- a/public/robots.txt
+++ b/public/robots.txt
@@ -1,4 +1,5 @@
 # OpenStreetMap's data is available for free in bulk from https://planet.openstreetmap.org
+# For regional extracts and documentation, see https://wiki.openstreetmap.org/wiki/Planet.osm
 # We encourage you to use these instead of scraping our site.
 # Scraping puts a high load on our donated resources and will lead to your IP being blocked.
 # Please respect our resources, and help us keep the service free and accessible for everyone.