Jim, cool. We’d be happy to consider additional pull requests.
-Rusty
Jim,
Thanks for your pull request. I’ve left comments on it on GitHub.
All: I am closing this thread as the original issue was solved long ago. In the future, please create a new thread for new topics. Thanks.
Josh