Many thanks. I checked it on antivirus:/
virusscan.jotti.org/, which found no fault with it. So I think you are right. I haven't yet reported it on the IObit forum, as I haven't used the site before, and iit wasn't clear to me how I should proceed when I looked at it. I'll go back to it.