Tiny updates to Github links.