Update: no signs of malware so far. Will make a final post in eight hours on whether there is any further malware activity.
