Project search not very helpful

I need to clone Lockdown. I went to https://example.com/projects to figure out the git URL. On the landing page, I used the "Find a repository..." field and typed "lockdown" and got no results. Typing "Lockdown" gets me the exact repo I need. The repository search feature could be more helpful.