I think it was that people stopped using Pocket because the search was so bad.