Actually my understand of what OSM says is a shared path that isn't separated from the road, as in this situation, shouldn't be marked as a separate path. It does make the mapping look very messy.

Would you add a path alongside every road that has a pedestrian pavement?

How is this any different?