No rush!  You saw how long it took me to get back to you!  I had the thought about Wandrer making a change, and maybe they will have to - but I think, even if you're not getting credit for it, seeing the very occasional famously/recognizably named alley on the map makes sense and is helpful so if I were them I'd be reluctant to change things.  Especially if it's just one area that's having the issue, and the cause is going against documentation (even if rightly so!).

That said, the dude who created Wandrer is WILDLY responsive and nice so I'm sure I could get a hold of him and get his thoughts if the conclusion is the names should stay!