Fix pointer to source repo in download page.