Non-random rankings for players on equal points
As far as we understand it, if players finish on equal points, they will be ranked randomly.
For example, first wins with 10 points and the other three players all have 7 points. These players are all ranked randomly.
The suggestion is to have them ranked in some logical manner. This could be, say, number of trades participated in, or most pieces of road placed, or highest number of resource cards received.
Alternatively, it could be done by most settlements, most cities, or most development cards bought. But this would seem to unfairly reward / penalise players for following a particular strategy.