You way want to review the link in your post ... My antivirus does not allow me to access the site, and there's also this:

https://www.virustotal.com/gui/url/ce37fa2cfa0040ed8f377029360883e9ec71b6681986d3d1c5f1b78e99cb0b98/detection

I don't know if it's a false positive (you can't even download Electrum these days without a bunch of sites stating it's harmful on Virustotal )...