They don't consistently fix it if it's slow, though. It takes about four seconds to search for a term you haven't previously searched for in Gmail (which I think requires having 10k+ emails, but I'm not sure), and it has for a long time.