On Fri, May 10, 2019 at 4:08 AM Mischa Salle <msalle at nikhef.nl> wrote: > thanks for the feedback! Could you open a new github issue for this? > That makes it probably easier to track. If you prefer, I can also do so. I should be able to get an issue filed. Cheers Adam