Audio TTS: Downloaded file has wrong extension #1246
Description
If you try downloading a file you generate using the Audio tab, the browser (Chrome on Mac, anyways) downloads the file with a .mp3 extensions. The file is actually a .wav file, so you need to rename it for it to play correctly.
Internally, the API is saving the audio as a blob without an extension and I think the browser is just guessing? So probably to fix we'd have to disable the download button in the native audio element and put the download functionality in a link below (maybe on the file name).