I'd be open to it, but the change is merged.  I'd not oppose a PR that did this.