priority-extra (binary): priority-extra-is-replaced-by-priority-optional
