I think I agree, if you don't see this as crucial for this PR, please open an issue.