Hi Thom, I have now set up the development environment and already coded a bugfix which is now in a local branch on my system. On GitHub I added a comment to the (closed) issue #512 so if it would be reopened I could push the branch and initiate a pull request - if this is the workflow you use. Othe...