With this edit: https://www.openstreetmap.org/changeset/121562483#map=17/46.25232/6.93687 , thousands of addresses have been duplicated over existing well tagged buildings and entrances. I have commented the edit but what would be the correct thing to do should the author not revert this edit?