For the record, the original deleted node is https://www.openstreetmap.org/node/1803003320 , and its identical replacement, albeit in a different location, is https://www.openstreetmap.org/node/12830016792