No Filename option when exporting audio?

Am I correct in thinking that there’s no option to change the filename when exporting to audio? That seems an unusual oversight given the options that are in the print and export to graphics.

I have a situation where I want to export a score to audio, then make some very slight changes to the score and export again to the same directory, but since there’s no option to give it a distinct filename, it won’t let me do that. Compounding the issue somewhat further, when the duplicate file dialog comes up the only options are to overwrite the existing file or cancel completely. No option to save as a distinct new file.

Is this something that could be looked at in a future version?

C.

Yes, this is on our list for the future.

Great! That’s good to hear. Would be really handy. Thanks.