Update/refresh an already rendered map?

This is more of a feature request, as I don't think this already works. But it would be very useful to have the possibility to render a map, say with some GeoJSON content, and re-render (refresh) the same map (in a Jupyter notebook cell, say) with some other or additional content, later. It would also allow for some kind of simple animations. Or are there any other ways to get this?

首先检查 Folium 如何在 Jupyter notebook 中渲染地图，以及其 Leaflet.js 集成如何处理 GeoJSON 内容。定义受支持的 refresh 对替换或添加内容意味着什么，以及如何验证完成情况，包括是否将简单动画纳入范围。