Should download dropdown have search box?
<!--IssueSummary start-->
<details>
<summary>
Everyone can contribute. [Help move this issue forward](https://handbook.gitlab.com/handbook/marketing/developer-relations/contributor-success/community-contributors-workflows/#contributor-links) while earning points, leveling up and collecting rewards.
</summary>
- [Close this issue](https://contributors.gitlab.com/manage-issue?action=close&projectId=278964&issueIid=22677)
</details>
<!--IssueSummary end-->
### Problem to solve
Hi. I'm using GitLab. When I look at the download dropdown It extends right down there. In this issue I'll talk about GitLab CE repository to be example.
### Further details
Below image you'll see the image about download list. The list looks very crowded. What if there was a search box above the source code section?

### Proposal
There may be a search box above the source code section. I added this search box thanks to firefox dev tools.

### What does success look like, and how can we measure that?
Sometimes scrolling could be hard if the list has 100+ elements.
Thanks a lot.
issue