Freedesktop notifications only know low, normal, critical, whereas both xdg notification portal and Android have more fine-grained priority levels.
Also, space the enum values apart so we can add new ones later easily, if neccessary.