Update Leaflet again

After #153 and 1.5.1, up to 1.9 (Sep '22) seems now: [Leaflet Blog 1.9](https://leafletjs.com/2022/09/21/leaflet-1.9.0.html)
See how easy it goes.
Originally start with 0.7 or 0.9 after the Google Maps transition.