Update the URLs of the GitHub repos in the "On GitHub" menu