Interest in ipyleaflet wrapper?

[deeplook]

I've recently discovered osmbuildings.org and this repo, which looks amazing to me. And if I understand correctly the viewer is based on a leaflet extension. Which makes me immediately wonder if there is any interest in developing a wrapper for ipyleaflet, see https://github.com/jupyter-widgets/ipyleaflet, so this would work in Jupyter notebooks as well?