Is there a reason tagging is delayed? It's been several months since the last tag, which makes it hard to depend on fixes in PRs. I tend to tag any PR that has a bump in patch version. Could this be the new policy?