Major changes in 3.14.0:
* Adapt to shell new search provider API