This PR rewrites the quick search on the index page using the new API. It introduces a new component SearchBarNewAPI that is supposed to mature into replacing the old SearchBar. This PR introduces it; later PRs will start using it everywhere to replace the old one, potentially improving it on the fly.
This PR rewrites the quick search on the index page using the new API. It introduces a new component
SearchBarNewAPIthat is supposed to mature into replacing the oldSearchBar. This PR introduces it; later PRs will start using it everywhere to replace the old one, potentially improving it on the fly.