fixup! Only warn about duplicate menu entries if priorities are equal