Leaderboard lacks basic functionality

Why isn’t there a search by player field? I would suspect that everyone using the leaderboard is looking for their own name or a few favorite players. Searching in batches of 25 hoping to find your name is frustrating and seems like a drain on resources compared to getting the direct result rather than loading dozens of pages in a vain attempt.