Perhaps this: "The import precedence only overrules a certain match if the priorities (default or explicit) are equal".

no, that is backwards: import precedence is considered before priority,
templates of lower import precedence are ignored (even if they have high
priority)

priority is only considered when deciding between two templates with the
same import precedence.