I said files but indeed there is only one .exe file. When I download this file on Windows with Microsoft Edge, it is blocked after a quick Defender scan. I tried to download it in Chrome which succeeds but after opening this file Defender flags it again and doesn't allow me to open it. It isn't clear what causes this report.