GeoMesa Jupyter Leaflet Extensions 1.3.4 API