manual download?

hey is there a way to download the manual ?

This isnt the best place to put it, but anyway:
panda3d.org/download.php?pla … =1.7.2&sdk

As we see this question every few months, why not pin it?

It is a bit hidden.
Maybe the contents of the “other” download page could be placed on the bottom of the main download page.

thanks a lot