Find missing emails more easily in Gmail

A small change has greatly improved the search functionality of Gmail.