I am currently using ReSharper 7.1.1000.900, and when I look at the "ReSharper | Options | Environment | Updates", the following text is displayed "There are no updates available".But on the JetBrains web page http://www.jetbrains.com/resharper/download/index.html , the version 7.1.3 already is available.Therefore, I have two questions:- Why doesn't ReSharper display that there are updates available? Is this a bug, or do I have to configure anything to allow ReSharper to detect updates? (The web proxy settings are configured correctly.)- Where can I download 7.1.3 manually? On the above web page, only a trial version is available.