@leocg I did see that after I posted, sorry about that. I saw under advanced search that you can specify which categories to search through, and whether or not to include child folders. What would you recommend as a good way to access that search configuration easily when I am using Opera for Android, and want to limit my search results to just Opera for Android posts? Only thing I can think of off the top of my head is to bookmark that advanced search parameter ?
It wasn't clear to me whether that advanced search configuration would be persistent across all future settings ... In which case I would just swipe open that left menu and tap search.. ?