None of the links point to Ransomware of any kind, Simon.
As regards removing malware, some of those applications are designed to analyse individual files only. Thus, whilst one would have to be incurably bonkers not to delete a file that's been positively identified as a risk, what one actually does with it is largely up to the individual.