Totally understand. I've upvoted your comment, hope everyone else does as well so that people can see this first before expending energy on a comment that should have simply been a PR (or at least a filed issue).