deleted leaflet.js library source