WL11 WAV saving as text files

Maybe I was misled when you said “save is a text file”. Indeed, there is a bug, which is simply that the .wav extension is not added to the filename. But the file created is not text, this is normal .wav contents. See workaround here: