Seems there were enough vocal opponents to Google's recent removal of the "Search the Web" option in Gmail for them to reinstall it.
There was an online petition, Gadget code to create your own search box and a few other reactions to Google's dropping of the search option inside gmail.
Amazing, or maybe a ploy to bring people's attention to that way of searching? Not really likely but some of Google's recent moves have definitely shown signs of using a new approach to strengthening their position.
Optimising Digital Marketing Campaigns with Search, Social and Analytics
At SES London (9-11 Feb) you'll get an overview of the latest tools, tips, and tactics in Paid, Owned, Earned, Integrated Media and Business Intelligence to streamline your marketing campaigns in 2015. Register by 31 October to take advantage of Early Bird Rates.