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

https://map.bnnd.eu.org/user/acrosscanadatrails/diary/3890