What you suggested here is trivial with existing tools—linters in the first case, search-and-replace functions in editors for the second. I have yet to see any

What you suggested here is trivial with existing tools—linters in the first case, search-and-replace functions in editors for the second. I have yet to see any evidence of the third case. I'm close to banning AI for my junior devs. Their code quality is atrocious. I don't have time for all that cleanup. Write it good the first time around.