Useful normalisation of player names in games