fetchmail finding downloaded mail

[Alex]

Hi,

>> Okay, much to my surprise, Trash apparently isn't a real folder. I
>> changed it to download from another folder, and it of course worked
>> correctly.
>>
>> So, any idea what the name of the real trash folder is? Or how to
>> download "virtual" folders, or folders created by a label?
>
> There are no "real" folders in Gmail. It's a database. "Folders" are
> simply labels (which is why the same message can be in multiple
> "folders"). Possibly Trash is a special case of messages marked for
> deletion (as happens on IMAP servers), I wouldn't know.

I meant "real" in terms of accessibility from IMAP, compared to the
labels/filters that can be created and aren't really part of IMAP at
all.

So I moved the 260k messages I had in Trash to some folder called
[imap]/Trash, and as the name implies, I was then able to access them
using fetchmail.

Thanks for your help.
Alex