That's what I use, partly out of habit, and mostly because I don't hand write searches anymore now that we have the chrome extension