Fix interlinks with Leaflet documentation