Google is making a big change to its vaunted search engine. You might not notice. (Washington Post)