did you do a DTG search?
You probably already did this in your initial investigation, but just in case did you do a system search for all files with a similar Date Time Group to the HTML files you discovered? that will most likely uncover any similar files put on your system but won't help if something you downloaded was more serious and affected your registry. . . .