This is a general explainer for pull request reviews where I think unrelated changes should be split into a separate PR.