Priority sorting doesn't take milestones into account
I was expecting priority sorting to use the milestone as well labels. Milestones with a date first, and all labels in that milestone should be sorted by label. As priority always lists what should be done first, the rest later this makes sense to me.
Furthermore, this would also fix issues we ourself are having