Either I forgot a `git push --tags` or I never generated version tags. Either way, let's fix that.
Either I forgot a
git push --tagsor I never generated version tags. Either way, let's fix that.