I'd say they do. It's confusing to see this file in the diff of the PR when in reality you aren't changing any of its behavior. And then you can go on a linting-spree on your other PR.