Tiny update to GitHub links.