End of game report - order of cards

[mark1878]

In the end of game report we see two lists

One - the victory points which are listed in descending order of number of points - which is good.

The other the list of cards - what ordering is given here, it appears random - I could understand in order of value or number of cards or alphabetical but it seems to be none of these.