Plays column now displays ranked/total plays for selected leaderboard.

Ranked plays are those that are used to calculate the rating, that is, the number of different charts.