Show random (but stable) names for players instead of their ids