Ja, müritzmartin ( https://www.openstreetmap.org/user/m%C3%BCritzmartin ) hat sie entfernt - siehe https://www.openstreetmap.org/changeset/90190379 
 
Und da das mittags an einem Montag - keine zwei Tage nach meiner Warnung. 
Das bestätigt zumindest einen Teil meiner Theorie (29.08.2020).