oh… yes, good you’ve noticed… I used the mercator coordinates in JOSM, and you? I didn’t find any functionality to convert that into coordinates. I just added a note to the wiki regarding this.