Comment by rigtorp

I have a tool that saves each mail as a single file using the Gmail API: https://github.com/rigtorp/gmbackup