Thanks for the heads up. By the way, the guy says "if you update to 7.02 you are also not affected" - so updating to the latest version should be okay (if his info is accurate).