No, it didn't work. I just rebooted the computer and came on in, and the same problem came up. I suspect, without understanding these things, that one of the servers used insists on cookies being refreshed. (Well fresh cookies sound more appetising.)
It's definitely nothing to do with that virus. And since I've just completely reinstalled Windows it can't be because I've got too many cookies in my PC's larder.
Anyway, I'm glad it's not just me.