Do you find that this actually saves you time, and that you get to your desired search result faster? These sound like great features to me, but I haven’t found them translating to less time spent searching.