dannmer
It seems as if this is mapped correctly. From the documentation: "A highway=pedestrian is a road or an area mainly or exclusively for pedestrians in which some vehicle traffic may be authorized (e.g. emergency, taxi, delivery, ...). Typically found in shopping areas, town centres, places with tourism attractions and recreation/civic areas, where wide expanses of hard surface are provided for pedestrians to walk." https://wiki.openstreetmap.org/wiki/Tag:highway=pedestrian