Fix issue #20: Search in the editor really slow; minor doc improvements

Major performance improvements to the search functionality, with small changes to the search behavior (but personally I like this usage better).