According to https://wiki.openstreetmap.org/wiki/Tag:area:highway%3Dpedestrian

Tagging mistakes to avoid:
Don't leave an area:highway=pedestrian area alone. Always add a linear highway=pedestrian way going through its middle for the area to be routable in navigation software.