Comment by leephillips

Gmail is a toy, not a real email user agent.¹ You might be happier with Mutt, which is powerful, flexible, and fast. But probably the most efficient way to accomplish what you want is to use a tool like grepmail (assuming Google provides a way to export your mail into an mbox file or something).

[1]https://lwn.net/Articles/837960/