So Google can search the entire web in real time as I type, but Gmail still takes 5 seconds to search my few thousand emails?