I accidentally saw that a new version is available (V 4.1.1 does not indicate it) and tried it. Unfortunately some essential things do not work:
Export does not generate a zip file or a folder
Activate does not open, so not version information can be shown
I switched back to 4.1.1 8always good to keep a copy of a previous version), this works well.