I have one #org-mode gripe that comes up every so often. For all the ways I can filter my agenda view, why is filtering by priority not an option?