Why did you not make a pull request with your suggested changes?
But certainly it does not appear to have much support, although its often the case that people need to see touch and smell the change before they can consider it.
But of course its always your choice.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.