08/18/2016 at 4:42 PM #1376 andreashornKeymaster Hi Philip, thanks for letting us know. I’ll nevertheless check this bug and try to fix it within the next release. Best, Andy