Hi, Welcome to OpenStreetMap.

These ways are as you said above are footpaths. A highway=pedestrian is a road or an area mainly or exclusively for pedestrians in which some vehicle traffic may be authorized. Thus I've changed the tag to highway=footway.

Regards Bernard.