Thank you very much. You've saved me a lot of waiting.
NOD32 detected something I downloaded as a risk and has quarantined it. Just today I found out I could restore it from quarantine, but what good...
Separate names with a comma.