[MB10]

I believe this was the same for me. But to avoid this there is the option to not use "export files" but instead use "share files" which - if I remember correctly - does use the song title as name of the pdf.

I would still agree that as the option exists with a checkbox to use the songtitle as name of the pdf this should also be possible with "export files".