Flag colors out of order on Mail 13.0 on Catalina
I understand that flag colors on MacOS Mail are supposed to sort this way:
Red, orange, yellow, green, blue, purple, gray.
This is how Mail looks on my Mac (with account names erased):
As you can see, the flags under the "Flagged" column on the left are in a different order than the sorted messages (sorted by Flags) on the right. When I right-click a message to add or change a flag, the list that appears in the pop-up is in the same order as the list on the left, which is to say it is wrong, too.
Does anyone have any idea how to get Mail to behave correctly with respect to flags & their colors?
Mac mini, macOS 10.13