[softwaremgmt] zypper dup ignores repo priorities, it's supposed to do so?