Please fill out these questions for all feature requests and bug reports. If you're requesting a feature, please let us know why this feature is important or useful, not just what it should do.
What browsers show this problem? Google Chrome and probably all other ones
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.
Trust me, I respect guidelines! I did not notice your CONTRIBUTING.md file before opening it. I noticed that a few minutes after opening the PR and immediately closed it, opened an issue and reopened the PR after 12 hours.