Comment by pwg

> I wonder, how difficult is it to make minor edits to the map data?

The map data is OpenStreetMap, so you can make edits via the standard OSM methods:

Web: https://ideditor.com/

Local: https://josm.openstreetmap.de/