Their search is quite nice, as it's a full grep. Not screamingly fast, though, the search just seems to run in the background and deliver results as and when it finds them. Not as fast as the phone keypad style search we're all used to

Hugo