None of the above.

I made and reversed a few changes to Avast! settings, specifically attempting to block a couple of websites, but nothing along the lines of applying patches.

It’s also possible that I’ve lost my Internet connection while Avast! was updating, which I guess would have left files behind. I wouldn’t have thought they would be left on the root directory, though.