> Thank you, this sounds good. Although we can deal with it as a patch if
> necessary, it would be greatly preferable to see it as a github PR:
> Are you willing to give that a try?
Yes i suppose so. Give me a couple of days. I will post a note when done.
Okay, here is the pull request
and the diff