Just took the opportunity to try Thunderbird again and had to downvote myself :) I guess my previous frustrations were related to initial sluggishness while downloading and non-compacting loads tens of thousands of mails from gmail. It still takes some time, but after downloading and compacting my data, search seems to be very responsive.