[bavent]

Right, small PRs are great. And they are even better with a nice commit history for me to follow. One does not exclude the other.