Things to do related to searching.

In general: overcome the inherent disadvantage that tipue is client-side search engine (see UseTipueSearchOption).

• We may add some option like --use-google-search=URL-WHERE-YOUR-DOCS-ARE to add a search box to your documentation that just calls Google to search within your docs. It seems that Google allows us to do that. See e.g. how this search works on http://www.mozilla.org/. Of course, such a thing would require that you put your documentation online. So a client-side search engine with tipue would still have some use, if you want to pack your documentation for offline viewing.

• Integration with estraier, open-source server-side search engine.