There’s an option to “convert” the audio from a video file: Media / Open multiple files / Add / Play / Convert and then one can select the file type one wants the audio in. What bugs me is the word “convert.” My file is in an .mp4 format, which is described as “Video H.264 + mp3” in the list one can...