Also I wonder if they ought to be using the 'prerelease' checkbox on Github. It lets you mark a release as not really a release, and maintains a history