The Programming Editor download area says I can directly download version 5.1.3. Yet when I download either as a previously registered or a new user, I end up with version 4.1.9. Furthermore, there is no patch available to upgrade 4.1.9 to 5.1.3. What's going on?