I'm not sure highway=pedestrian is appropriate on bike path outlines such as https://www.openstreetmap.org/way/1124504884 given that pedestrians are prohibited on the bike path. (See https://www.mapillary.com/app/?pKey=367516585509083)