highway=pedestrian vs. highway=path .. sidewalks vs. paved pedestrian paths https://www.openstreetmap.org/user/acrosscanadatrails/diary/3890