"Download a Video" + the Convert to MP3/Wav doesn't appear to be working

Selecting the Convert to MP3 or Convert to WAV in the resulting Download a Video dialogue doesn't appear to actually produce a MP3 or WAV file in the destination folder. Seems like a bug?