Just a point release of the web server this time to clean up a couple of Leaflet issues:
* Fixed: Leaflet marker labels not removed when marker gets removed.
* Fixed: Leaflet marker tooltips were not refreshing properly.
* Fixed: Report map did not show menu button when using Leaflet maps.
* Fixed: Range circles ignored configuration on Leaflet maps.