W: priority-extra: priority-extra-is-replaced-by-priority-optional
