On 14 Jun 2017, at 9:11, Paolo Benvenuto wrote: > good job! thank you! > > Are you going to open issues on github? Hi, Done. Didn’t do it initially since I thought maybe some of them were more suited as mail-list discussions, rather than GitHub-issues, but no going back now (-: -- Joachim