Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> I agree -- if the user wanted packages, they would not be reading that
> page of the docs. I'd just have it point to the same page that the
> download page points to for source downloads, not a version-specific
> one, as in the attached patch.
+1. I think people reading this may have their own ideas about
which version they want. Also, getting the link to be sane in
the devel docs might be problematic.
regards, tom lane