Make default tags unique

I record a lot of open play where I don’t know the names of all the players. When I create a set of games, half of them are named, but many remain Player 1, Player 2, etc. Trouble is, that ID is not unique, so when I create a leaderboard for the day, it lumps several people under Player 1.

Minimum: append last 3 characters of game ID, so “Player 1-dxg” If I see the same player with multiple tags, I will merge them manually.

Maximum: Suggest merge by player recognition. You have images of them across games and their clothes won’t have changed. Pretty easy AI task.