I agree with you ; we should either link to both or none of them. I've put a link for both in the `installation.md` page and remove this one.