Yes. Sorry if I accidentally reverted based on memory instead of checking, I don't recall when they took down the signs.

There is some discussion around this on https://www.openstreetmap.org/note/3765780 as well, last time I checked they hadn't put up a new name yet.