Remove long deprecated `EffortCount` leaderboard attribute