<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'>