Is there a way to extract the time from the time dimension player to display somewhere else on the leaflet.js map ? I have not found much documentation to extract this. For instance, if the time dimension player is at 2017-03 from reading the times property in a geojson, how can I extract the 2017-03 to display on the map in the lower right as a dynamic html label? Thus, for every frame the player updates the map with the time, the label is also updated. Or can I create a custom dynamic html element that is on the leaflet.js map that is read directly from the geojson based on the when the user clicks play ? If this is in documentation somewhere, I do apologize to access certain elements.