I get what you mean, and I agree. It might be a good thing to do, but something like that shouldn't be blocking a PR.