Fair point, but exporting email? These aren't crazy ideas from one person's wishlist. These are actual features that should be standard for any company providing an email service.
(Genuine question, haven't used it in the last few years.) Does Gmail support exporting email, other than using IMAP which I understand Proton also has in beta?
I remember reading that they have committed to letting you download all you data from all their properties, and the list on that page is certainly long, but I can't tell if it's complete.