Ah, interesting. You really never stop learning. Many thanks for reporting back. I had the fear that maybe another webpage offers a modified version of our installer, which could be a security issue then. But in this case all is well 🙂
This is my signature. You can change your signature in the profile