Oh, makes sense not to create downloadable zip archives anymore.
But still: the download/release-archive page is a bit confusing :). Maybe the page should be removed completely? Or put there a notice and a link to the above mentioned GitHub issue #9232, keep it for a while and maybe remove the page after a few months?