Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/18708/openstreetmap-export-option-how-is-it-made/18711