On 5/6/21 6:05 PM, Tom Lane wrote:
> Alvaro Herrera <alvherre@alvh.no-ip.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.
+1 on all of the above.
Jonathan