highway=pedestrian vs. highway=path .. sidewalks vs. paved pedestrian paths

https://api.openstreetmap.org/user/acrosscanadatrails/diary/3890