Not a big deal, but it's better to leave completely unrelated changes out of a PR. Whenever someone looks at `/files` on a PR, they're trying to work out what you did and how you did it. Unrelated diffs just make it a little bit harder.