A render bug in the OSM Carto style prevents rendering of all the buildings inside the pedestrian zone: https://github.com/gravitystorm/openstreetmap-carto/issues/688
As for the reasoning if there needs to be a big pedestrian area at all, I cannot add anything to the discussion for lack of local knowledge.