I have spotted that a user is editing old posts and changing every occurrence of "the Hawaiian earring" with "the infinite earring". As far as i know this is not standard terminology. I am not aware of any way to flag these edits, or if that is even the right approach. How should one approach this?

Edit It seems another user posted essentially the same question here while I was writing this one. I'll close this question as a duplicate if/when it becomes possible. I got a notice earlier this evening that another user had edited a 7-year-old answer of mine, replacing the term Hawaiian earring...

I hope to know who first used the name "Hawaiian Earrings." Barratt, Milnor(1962) says "This example was suggested by Steenrod" in its Introduction: https://www.ams.org/journals/proc/1962-013-02/S0002-9939-1962-0137110-9/S0002-9939-1962-0137110-9.pdf And this is Steenrod(1949): https://www.jsto...