And if not, would this be a good idea for a pull request?
And if not, would this be a good idea for a pull request?