osmuser63783
I have no strong opinions on this. But the situation exists quite a lot in Edinburgh (see https://overpass-turbo.eu/s/1qqn and https://overpass-turbo.eu/s/1qqp) and for consistency if it's tagged this way here then it should probably tagged as a residential landuse area here this everywhere else too? And that would be a pretty big change