On 5/6/21 6:05 PM, Tom Lane wrote: > Alvaro Herrera <alvhe...@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
OpenPGP_signature
Description: OpenPGP digital signature
