So, I'm just trying to move my stuff to a new phone, which means exporting all the settings for a lot of apps, so I can import them on the new phone.
Needless to say, tje experience varies. #Antennapod asks me for a place and a filename, defaulting to /disk/Backups (whence I imported the settings from, some years ago).
#Fedilab, on the other hand, produces a silent (thus easy to overlook) notification that "settings were exported". Great! So now I will spend half an hour searching for them!