Due to some browser problem, the last Issue was created twice. Since I can't delete the issue, I'm renaming it and replacing its original text, to avoid confusion. We can always re-use it later if needed, by changing its title and contents again.
@AnssiR66, see if you can just delete this whole Issue — maybe you can do so with your priviledges.
@AnssiR66, see if you can just delete this whole Issue — maybe you can do so with your priviledges.