WeBWorK::ContentGenerator::AchievementsLeaderboard - Leaderboard for achievements, which lists the total number of achievement points, level, and badges earned for each user with the 'include_in_stats' status.

Only users with the 'view_leaderboard' permission can see the Leaderboard, and only users with the 'view_leaderboard_usernames' permission can see user names.