"As google gets smarter, as we use it more, we get smarter in the terms we search for."
That's a good point, Dave. I think it also depends on who the intended audience is and how they're used to getting information. If they're looking things up in previously read content, and if they're confident of the terms to search for, CTRL+F is good enough. But as people rely less and less on a single canonical source of information, I think this particular situation will become less frequent. They'll expect to find what they mean, regardless of the specific terms they type in a box. Obviously, Google, Bing, and the others are spending huge resources on more semantic approaches to search, and I find that they turn up better results from many online resources (such as Stack Overflow, the Confluence / JIRA support pages, and the DITA-Users group) than I get from going to the resources first and using their internal searches.