Hi, I had meant to just discuss my PR on the mailing list, but the mailing list software evidently detected that the email was associated with my JIRA entry and posted my email as a comment. I don't want to spam the JIRA. I'd delete the comment, but I'm not sure that I can.
Sorry about that.