tinysearch.el: remove folding. (tinysearch-function-ours-p): new