React users can take a look at this component called Pigeon Maps to accomplish a similar user experience in more React DOM compatible way:

https://pigeon-maps.js.org

Though you miss out on the wide range of Leaflet plugins!