place=neighborhood tag on https://www.openstreetmap.org/way/1074064494 looks weird.  Is Government Street really not part of the same neighborhood that completely surrounds it?  It seems unlikely that the historic district and neighborhood would have exactly the same boundaries.  Most neighborhoods are informal and don't have well-defined official borders, and even in places where they do they don't usually look this gerrymandered.  It would probably be better to have a separate node/area for the neighborhood.