Sorry about taking so long to get back to you, but we had a laptop crash, and then had to set up a new one.
I've done some research in to this (although it appears you have solved it yourself), but according to virus databases from different AV labs it refers to: This is a detection for malicious html files which exploit the CVE-use-after-free vulnerability found in Microsoft Internet Explorer, that could allow an attackers to download and run a malicious executable file on the system. Microsoft Internet Explorer 10 is affected. And other CVE infections stated on also: found in the Microsoft Windows NDProxy driver, that could allow attackers to run code in Kernel mode. The vulnerable systems are the running Windows XP or Windows Server 2003.
So, how I understand it, is that it has scanned files that were once opened with MS, and only affects MS systems. As you know, any virus that gets on to a linux based system, it has to be activated by the end user, so if you don't activate it, you won't have a problem. However, knowing your system has a virus can be unnerving, so it's advisable to scan everything that comes from another computer, especially if that system runs Windows.