>But we also do extensive reviews even in little PRs like you are proposing,
It is a good culture for the project, to extensively reviews these minor PRs too. +1 for the same :)
I have added the identity of the repeated tools in the warning.