leaflet

In the docs of the map, there are different describtions for the same option (animate) and the points Zoom options, Pan options are also in the Zoom/pan options. I think there should be only one of them.
https://leafletjs.com/reference.html#zoom-options-animate

Also the

This is a ToDo-Issue.

Following events should be added:

• while moving the hintMarker a event should be fired like move or change. For example, while drawing the rectangle, the current bounds / latlngs can be useful. see #1072
• While moveing / editing the coords of a layer, we can send a coordsmove event. Edit, Drag, Rotation, ...
• Enabledrag & disabledrag in Dragging.js

The Story display panel at the bottom of the screen has some alignment issues in one of the corners:

We should fix this so the lines align.