(And incidentally, it's much better practice to comment on the pull request's diff than on the original commits...)