Rapid OpenStreetMap editor v2.5 released with advanced pedestrian mappingcommunity.openstreetmap.org6 pointsraybba year ago