So I've been using GMail for a couple of years now.
Back in the early days I was a member of a rather high-volume mailing list. And since GMail had effectively infinite storage, I just saved everything rather than cleaning it out.
However I've found I practically never refer to any of these emails; and when I do, I'm more likely to trip over them in web archives while doing web searches.
So I'd like to get rid of most of them since there's no point in keeping them.
Out of my 800+MB box, I estimate about 600MB are messages from this list.
My problem is that I can't seem to efficiently delete them.
If I use mutt through IMAP to look at the mailbox, it times out while trying to read the 60K+ messages in the All Mail folder. If I do manage to read the whole folder successfully (mutt seems to barf if a message gets delivered to my gmail while reading the folder) I can't write changes back because mutt seems to want to update all the messages at the same time, and I've never successfully managed to do that.
I can import the whole folder into something like Outlook (ick), but I can only delete about 200 messages in one go before the commits back to the GMail server start to fail.
GMail's built-in interface seems to want to make me do it 20 messages at a time, and well I don't have that kind of time.
So what tools/techniques do people use when they decide it is time to clean out the GMail box?
Update: I guess I should specify here that I don't want to delete them all, I'd like to hang on to those I wrote, which for various reasons are mixed up in the mess with the rest of them. So I can't just delete all messages marked '[list]' for example.