Thanks for the report. It looks indeed like under Linux the search tool does not work as well as on other systems. In particular, there's no stemming for the search terms which means that "arrow" will not find "arrows", etc.