Oh, indeed, the downloadable files are missing! Must be an error from my side. Well, I’ll put the binaries on GitHub, as I can’t change the page due to vote still being submitted.
