Also, do you still think that it was an undocumented bot edit? That claim was a bit irritating as my bot edits are relatively rare case of actually following https://wiki.openstreetmap.org/wiki/Automated_Edits_code_of_conduct