This area I'd consider part of Davis, but the whole square is Davis not just this area. I don't think any other mapper had named or removed a name from this? To my knowledge this isn't named at all, at least not conspicuously. If you were to ask what single part of the square might be considered the Davis pedestrian area, I think most would answer the main plaza
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/152466357
            