Just fixed the download links.
What do you think of the new installation section on the homepage, at https://srclib.org/#install?