libraries: plug in Leaflet