Minor release. I just edited a little thing

I actually didn't tamper with any real code. I just modified my GitHub workflow so I can push two tags. The release version, and a latest tag. So, people can just pull latest.