Updated, thanks.
https://www.openstreetmap.org/node/7833848685/history

was:name is normally only useful when a place is temporarily vacant, but of course the former name is always available in the history.