A big +1 for a new feature of right-click-on-mailbox -> "Export This Mailbox" with at least .mbox as one of the output formats. I'm fine if that is the only output format, but maildir would be useful as well. --Paul Hoffman