Looking at the github channel - do you want us raising issues/bugs there, or do you want us to raise things here, and for the 
experts to transfer relevant things there?
Looking at the github channel - do you want us raising issues/bugs there, or do you want us to raise things here, and for the experts to transfer relevant things there?