Right, that's controlled by `scrmi.num_priority` or whatever it's called, that should be added.

(Also maybe a mention of `.use_priority`, even though the dependence on that should be fixed now.)