> would you please be so kind and approve/disapprove of the proposed > change in the PR? Perhaps then some committer will get interested. The naming should be constistent among ports, so if other ports are changed, the ports maintained by me should be changed as well.