No, his pull request message mentions none of this. You're absolutely right that each of these should be a separate pull request!