Previous PHPStorm versions documentation?

I have PHPStorm 7.1, when I go to Help > Help Topics it opens:

This defaults to PHPStorm 8.02 help -- can I get back to 7.1 help somehow? I don't see a way to change the version number in the help?


Please sign in to leave a comment.