Fix links for other GitHub repos in the docs