In #5268 we modified just a doc file, missing a final newline at the end. Because it had no code changes, we did not run the lint step.

Any following PR with code changes will have a linter error in a file it doesn't touch.