Yes, I previously asked him to remove the two unrelated commits from this PR.