I will open this as a bug on the GitHub tracker. I wonder should I just reopen the existing issue, but maybe it is easier to create a new one (and I assume that the issues can be linked together if needed) Eero