Be careful about getting miners from that website. This is how one of our community members got hacked and lost a lot of coins.
Yes, I remember about pokeytex...

Sadly - Yes - That is the site I downloaded from. Proceed slowly and scan the shit out of everything. First do a virustotal url scan, then scan the zip, then scan the file. No guarantee but at least you are taking steps. Best thing to do is get it from the github and or compile yourself.
best thing is have no wallets on PC where u doing mining
basical have wallets just on PCs that do nothing else than run staking wallets
this together with a good anti-keylogger and malware/virus defence should help a lot