You're right that Leaflet is great for GPS, but this tool is specifically for robots using SLAM-generated occupancy grids in a local coordinate frame. Even for long-distance navigation, many autonomous systems prefer these maps for higher precision and better integration with their local planners.