I find both PDF files at the above location, so that would seem to be the right spot.
I don't know why there wouldn't be an option to create a desktop shortcut for the documentation files when they get downloaded, nor do I understand why it wouldn't give a bit of info on the web site as to where it would default to saving upon download.
But - at least it might be able to be found for you now.
Bob Bone