feat(miners): add search input to repository miner list

[bittoby]

Summary

The Miners tab on the repository details page had no search input — users had to scroll the list (often 100+ entries) to find a specific miner. The URL search param and the GitHub-ID/author filter logic were already wired up in TopMinersTable.tsx (lines 350–357); only the visible input was missing.

This PR adds a debounced search TextField to TopMinersTable, reusing the existing DebouncedSearchInput and ClearSearchAdornment primitives — same pattern as TopRepositoriesTable.

Related Issues

Closes #1244

Type of Change

• Bug fix
• New feature
• Refactor
• Documentation
• Other (describe below)

Screenshots

Record_2026_05_19_20_09_36_463.mp4

Checklist

• New components are modularized/separated where sensible
• Uses predefined theme (e.g. no hardcoded colors)
• Responsive/mobile checked
• Tested against the test API
• npm run format and npm run lint:fix have been run
• npm run build passes
• Screenshots included for any UI/visual changes

[anderdc]

Don't add a new file for this — inline the search input, matching the pattern the PR description itself cites.

TopRepositoriesTable.tsx (line 738) builds its search box as an inline searchInput const — a DebouncedSearchInput wrapping a TextField — directly in the component; LanguageWeightsTable, MinerPRsTable, IssuesList and others do the same. MinerSearchInput.tsx is a 61-line single-use file that duplicates that inline block near-verbatim and is consumed only by TopMinersTable.

• Delete src/components/leaderboard/MinerSearchInput.tsx and its import in TopMinersTable.tsx.
• Expand the searchInput const already added to TopMinersTable.tsx into the full DebouncedSearchInput / TextField / ClearSearchAdornment JSX, same as TopRepositoriesTable.tsx line 738.