A friend has been having problems with a full imap mailbox. I googled for an easy (for me …) way to archive off the email, but came up with nothing – so I had to work the process out the hard way. Posting it here in the hope it’ll help someone.
Here’s what I did (using [...]