im not involved in this discussion really but i wanna add a couple things.

Proton is the only e2ee email provider that uses PGP interoperability, because they are trying to be more open, and also means that anyone can do e2ee with you not just other proton accounts. this is different from skiff, tuta, etc

also their export tool allows mbox, contrary to what you said.