While I would typically agree that I shouldn't put unrelated things into the repository like that, in this instance and as I kinda hinted at in my pull request comment, the point of this commit is to update the repo with all my changes (regardless of what they were related to) and focus on getting others up to speed. In a normal case  I agree that I should move them to another pull request though