Oh, I hit "save" on the release instead of "save draft" after copying much of the text from the web page to the release. Since the pre-release box is checked, this release is not listed in the front page of the repo. Interesting; TIL.
The download links did change, and I updated them on the web page.
So I semi-accidentally released I guess, but it's not irreversible. Let me know what y'all think. About the release and whether or not the milestone releases should be on the repo front page under Releases.
I'm starting to think maybe we should uncheck the pre-release box for milestone builds, and that opens the door for periodic pre-release builds (nightlies, but probably not nightly), something I have been wondering about for a while.