org-agenda's tag matching command,
org-tags-view shows an agenda of TODO items filtered by tag. It gives me an ivy completion list because I have ivy installed, which sets
However, the list of tags is very limited. In particular, it doesn't include the tags already used in the current org-mode buffer, as
counsel-org-tag does (counsel uses ivy). I can type in the tag I want, but I want to be able to select it from the completion list instead of typing the whole tag.
How can I get
org-tags-view to present the same list of tags that