GeoLibre in Jupyter: the full GeoLibre GIS app as an anywidget, with a leafmap-style Python API.