> You can export mails, but only if you're on a paid plan.
GDPR to the rescue: You have the right to data portability. All UK/EU email providers offer this (and any that don't may need a polite reminder for them to play ball).
There is a local bridge which transparently communicates between Proton’s encrypted servers and offers imap locally. Only on non-mobile OSs afaik. [0]