Thanks for posting this.

Just fixed the download links.

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