For a long while I just copied everything to an imap server and dumped the mailbox, but this looks like an even better solution.