snappier project search?

[ceedubs]

I often am searching for a specific project with an explicit @, such as @metrics or @http. The result often feels a little sluggish.

I've noticed that this makes a request to https://api.unison-lang.org/search?query=%40metrics which is actually pretty fast: 100-300ms. But it also makes a request to https://api.unison-lang.org/search-definitions?query=metrics that is slower: ~900ms. I'm guessing that it's waiting for both results to stitch them together before displaying results.

When the search starts with an explicit @, would it be possible to show the project/user results without waiting for the definition search results? Is it a big pain to append them asynchronously?