Search favorite gifs

Here is a suggestion for a feature I think people would like: add a search box in the favorite tab of the gif dialog. A lot of people have dozens or hundreds of gifs saved in the favorites and it takes a while to find the one you are looking for (especially frustrating if you need it right away for that snappy response).

Alternatively, having favorite gifs show up first in the normal search results would be an equivalent solution.

Thanks for your attention.