Export options, packaging, file names
A default format, a second one afterwards, names you can tell apart
WhereSettings & More → Account & Settings, for both switches.
Out of the box the export button asks every time, so the format list is one press away. To stop choosing it, turn "Ask for a format each time" off — the default format then applies straight away, and the button splits, with a "⋯" for everything else.
Notes
- Two settings, in order: the ask switch gates the default format below it.
- After an export you can pick another format without repeating the flow, and a failed download retries without rebuilding.
- One-file-per-song formats are zipped automatically, and names carry the service and date.
- Export engines load on demand, so formats you never use do not slow the app.