Hi folks! Derek- pointed me to an open PR on github. Sadly all the bazillion mails I get from github are classified as spam due to having different names associated with the same email address. So having any PR is kind of ending up in the trash can :(
I've asked at one ticket to move those discussions to this mailing list and JIRA. Much more efficient imo. LieGrue, strub
