Nearly all my html files have acquired a bit of javascript code as of May 25 2013 at 12:23AM. They were all changed at the same time, so it must have been done by a robot.
I haven't yet worked out what the code does, but I'll put it at the bottom of this message in case anyone recognises it...