At the end of a game, stats mentioning player names

[pikiou]

At the end of a game of for example Saboteur, it'd be nice to see in statistics who broke the most tools, or who built the most dead ends.
I don't usually look at statistics, but these would be fun to check.

I know it'd be too much work to add to existing games, but I'd love to add a few of these in games I'm developing!
(Technical comment: maybe a third stat type after 'int' and 'float'? Ideally it'd be a player stat filled with a float, and the one with the biggest would be named as a table stat.)