perhaps this neighborhood name: https://www.openstreetmap.org/node/9153134673 should be set as a alt_name and then the name tag should be updated to reflect the official name of "Washington Square West" (per the wiki page that was cited) if a node for it doesnt already exist here (I dont see one)?