Thanks, both of you, for the suggestions. Peter, I'll try that later this weekend, and post what happens.
I've been trying out Ewido for a couple of weeks, and I'm puzzled. It keeps finding "Downloader.Agent.uj" at path "[some 3-or-4 digit number]...
Separate names with a comma.