You are right. I have got no idea how they (admins) are going to take it but I created a PR for this on GitHub.
EDIT: I did not notice they had guidelines for contributions. I have opened an issue (following the guidelines) and waiting for their response.