Update link to renamed repo on GitHub.