Thanks for the bump, @snehesh – search is one of the topics currently being worked on (see our roadmap) with PDF full-text search being one of the main things to be implemented. Boolean operators (like ‘or’) and annotation search are on our radar for later; they will be easier to consider/implement once the current updates are running stable.