Jim Lesurf wrote:

I'll keep puzzling.

I tried streaming the .mpd URL with VLC 3.0 nightly as it's supposed to
support DASH, it knew enough to get some metadata such as the name
"radio 3 lossless" from the manifest, but didn't play any audio,
sometimes it showed a timestamp into the thousands of
hours:minutes:seconds, other times it just showed 0:0:0