Faster Search

Search is now much faster in large outlines, including searches that combine terms with AND, OR, and NOT.