notation overloading linter

Stream: mathlib4

[Mario Carneiro]

Is anyone up to write a linter which finds unguarded notation overloading? Mathport is currently broken because of this and we had similar issues in lean 3 with regards to notation overloading causing problems which is why everything is scoped or localized in some way.