Editor GPX desde Leaflet (oct 2020)