The current Google based search has some short comings. It lists results from all pages, not only the library pages, it comes with ads, it has some bugs which lead to empty results.

We need to evaluate what options we have to implement the search. Possible candidates:

• Client-side Javascript framework (e.g. http://lunrjs.com/)
• Custom client-side Javascript code
• Fix existing Google-based search
• Other alternatives?