Yes, I know. I set up a tag in my local git, but can't figure out how to update github, so to have the link you mentioned earlier.