Create git tags or github releases tags for older version

This would be not hard but it will require write access to the repository. So only project owner or project collaborator could do this.

@lzutao would you still be interested in coordinating this ?

It’s some responsibility so feel free to say no of course :)

Or perhaps deeper explanation of what I have to do if you don’t want to ?