That's a good idea. I'll think where I can add this without having people press it by mistake and getting lost. About the search, that's an unfortunate part of

That's a good idea. I'll think where I can add this without having people press it by mistake and getting lost. About the search, that's an unfortunate part of the play store discovery problem. They prioritize ratings/downloads over keywords...