Tiny update to Github links.