Good to know, thanks. Looking at Mazemap, it does look like additional details added through StreetComplete will feed into it, if someone finds a spare half hour to play around with it. :)

Thanks again for clarifying things for me. I’ve updated the map slightly to point to this conversation as a source for the names on those roads, to reduce the risk that someone removes them in future (until the signs are installed on the ground). Ta