and now I have sound and the mp3 audio podcast is playing. The HD videos still don't play, so that must be a separate problem after all.
I have never, to the best of my memory, specified the audio sink at the command line before, so the setting I have now must either have been installed as a default or else set during configuration at a time when my system was set up differently to how it is now. (Settings made at the command line are persistent, apparently.) Either way, something is liable to go wrong with the audio configuration in a way that is beyond what the average user could be expected to diagnose and fix. So either Miro needs to configure itself better and to respond to changes in the system's audio configuration, or there needs to be a setting accessible via the GUI.
I have just run
miro set gstreamer-audiosink alsasink
and now I have sound and the mp3 audio podcast is playing. The HD videos still don't play, so that must be a separate problem after all.
I have never, to the best of my memory, specified the audio sink at the command line before, so the setting I have now must either have been installed as a default or else set during configuration at a time when my system was set up differently to how it is now. (Settings made at the command line are persistent, apparently.) Either way, something is liable to go wrong with the audio configuration in a way that is beyond what the average user could be expected to diagnose and fix. So either Miro needs to configure itself better and to respond to changes in the system's audio configuration, or there needs to be a setting accessible via the GUI.