Joseph and I had a conversation about a few things and we suddenly realized the reason that aotriton references a commit ID and not a tag – the aotriton maintainer may, and likely already has, moved tags around. aotriton should track both the commit ID and tag, not just a tag.