I did so, it'll appear in the next pull request due to many other changes.