The priority should always be defined and displayed.  This means that we have a bug in our tag-def for `@priority`