Ah, ich sehe gerade, dass es noch mehr gab. Die letzten wurden erst 2025-01-19 mit https://www.openstreetmap.org/changeset/161537815 entfernt. Jetzt hab' ich's verstanden. Wie dem auch sei: Sie sind nicht mehr da. Dann kann man den Hinweis doch schließen, oder?