More readable names in 'group by priority'

[claremacrae]

⚠️ Please check that this feature request hasn't been suggested before.

• I searched previous Ideas in Discussions didn't find any similar feature requests.
• I searched previous Issues didn't find any similar feature requests.

🔖 Feature description

Remove the need for numeric prefixes on the titles for group by priority, so that the priority names are clearer/more visible.

✔️ Solution

Replace Priority 3: None with No Priority
And similarly, change the names of other priorities to remove the numbers.

Retain the current sort order, to High Priority is first, and Low Priority is last.

❓ Alternatives

A more complicated way of achieving this was proposed in #1604.

📝 Additional Context

No response

[geoelectric]

I realize this is probably being pedantic, but if we're going to call it None/No in the grouping, it'd be nice if the edit dialog called it None/No as well. There, it's called Normal, so I was really looking for the grouping to be Priority 3: Normal, and in this new format, Normal Priority.

Not the biggest deal in the world, of course, but I actually came here to see if there was an open bug on that so if it's up for discussion...

[claremacrae]

Good point @geoelectric - thank you.

The new group names should be consistent with the vocabulary in the Modal, as that came first.

So 'Normal'

[claremacrae]

Note to self: also need to update the priority filter, so that it supports normal as well as none, to retain backwards compatibility with existing searches.