Thank you for your valuable feedback, the search is actually at the top right corner, which I thought is the web convention, but will make it more prominent now. And you are right that the full-text search requires more tweaking.