Or, even if they add it, there's no way to save the file, only to "share" it, which 99% of the times isn't what I want, and I'm frankly tired of routing through the mail app as a workaround. At this point, at least on Android side, there exist apps whose sole purpose is to be a share target and dump the information to file (and being apps on an app store, chances are top 10 are just thinly veiled malware).
https://f-droid.org/packages/com.mateusrodcosta.apps.share2s...
They probably support proper export for business accounts. Business customers have leverage. Regular people? They're an annoying but necessary nuisance.