Hi Dave and Jonathan,

Sorry for taking so long to reply...has been a crazy week.  Thanks Jonathan for the description of how this works on GitHub.  That's neat that the pull requests automatically update...I didn't know that it would do that.  It sounds like all there's left to do is to accept the PR.  I'll go and do that right now.  Thanks again!

Best,
-Johnny