more renaming leaflet -> leafletjs