Fixes #7717: Update installation instructions to point to proper repos.