[footlose_3815]

I never understood that feature and just hide it. We already have bookmarks right?

[cosmic_ape]

you mean Pocket? I was wondering how well the search there works. Turns out it is possible to search the pages themselves, but only with paid subscription. In the free version it only searches the titles and urls, like the Bookmarks.