TODO: Improve searching

Things to do related to searching.

  • 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 Of course, such a thing would require that you put your documentation online.

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