Filenames as header with export

The change to show filename as the top header causes exports to look different than what is shown in the app.

No, there’s an export option for that. Look closely.