Flattening of video sources

[janboddez]

A video may contain multiple sources, for a browser to pick the one they support best.

Right now, these are all flattened into the single array of videos, so that there seems to be no way (without fetching and parsing the originating page) to properly trace back which video URLs are actually the same footage but different file formats, and which ones are different videos.

Moreover, Microsub clients (probably) display all videos in the array below (or next to) one another. This may result in (1) the duplicates actually showing, and (2) some of the copies not being playable (because client support for that particular format [webm, h265, etc.] is missing.) I think.