Location aside, we might consider another way to tag this.  Other neighbourhoods within the city centre have a name that is used nowadays (e.g. Alhambra, Quartier des Libertés/Vrijheidswijk…).  No one will commonly say "I leave in Coin du Diable/Duivelshoek neighbourhood", this is a name from a hundred years ago, probably.

old_name instead of name is an option.
was:place=neighbourhood is another.