Don't put formatting changes in PRs that don't otherwise touch the file.