documentation usability tweak re: github downloads

direct users directly to the repository instead of $repo/downloads (which does not work)