UX: Rename Priority to score for sorting. (PR #9846)

GitHub

Let’s give it a try.