hello everyone, question, should we as a project be removing extraneous pre-release versions on Github by deleting the tags? The benefit is when we write release notes for a new stable release you do not have to go reconstruct all changes since the last stable, those notes will be condensed and attached to the single new stable release.