ui/overview.js: broken search provider API
Overview.removeSearchProvder call identically named methods on
ViewSelector that were removed in 0590962d. As such, calling those
Overview methods result in errors.
Overview methods seem like the only obvious API by which an extension can register custom search providers. Do they need to be updated, or was the intention that extensions generally shouldn't be registering search providers and they were meant to be removed?