<p>By the way, just discovered <a href="https://github.com/tripbirds/leaflet-locationfilter/">https://github.com/tripbirds/leaflet-locationfilter/</a> — which I guess can be used in place of Leaflet.draw for the export feature.</p>
<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">
—<br>
Reply to this email directly or <a href='https://github.com/openstreetmap/openstreetmap-website/pull/121#issuecomment-9528103'>view it on GitHub</a>.
</p>
<img src='https://github.com/notifications/beacon/J6T91GIPIyhU-8ti4GCGP98_UZTRAhtyIjAjorWDZ_nomfmyLkQVxXv4YMMC2rhF.gif' height='1' width='1'>