@zhekov Shhhh, don't tell @b4n, but if you open the file in github website and click on the pencil icon at the top it will let you edit it and then create a PR with the change.

—
Reply to this email directly or view it on GitHub.