Transferred to use "releases" feature of GitHub instead of deprecated "downloads".