text: These should probably also be highway=footway instead of highway=pedestrian (pedestrian is for roads that are actually wide enough for cars to be able to drive there but which are restricted to pedestrians). I don't know this area very well, though.