The leaderboard shows different leaders in the small view and the detailed view.

As shown in the attached screenshots, two different leaders are displayed, even though the scores are very similar. Both screenshots are from February 8, 2026.

This creates an inconsistency between views and makes it unclear which ranking is correct.