leaflet htmlwidget as json