Search is slower in version 5?
I notice that in version 5, if one types in a keyword in the search window, a spinning wheel (?) pops up to the left of the window, and then the search results show up in the middle window. More important, the searching seems much more sluggish than in version 4, where just typing in a word fragment would immediately start filtering the list of references in the middle window. Have others noticed this phenomenon?