Hi BertMule,
Joining together the ways leading to a pedestrian area is a recommended practice, not redundant.
https://wiki.openstreetmap.org/wiki/Guidelines_for_pedestrian_navigation#Junctions_between_lines_and_areas
Best regards