Previous PHPStorm versions documentation?

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

https://www.jetbrains.com/phpstorm/help/phpstorm.html


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?