Prosoft DriveGenius 5.1, running under OS 10.13.2, detected two malware-infected files which I don't know what to do with. There is an option when running the malware scan to "move infected files to trash," but I elected to delete them manually (if at all) since I do not know what they do and...