Removed incsearch -- too many small irritations.