[proposal] An option to remove alternative sources for media urls

[jdmichaud]

Well behave websites will provide alternative versions of a media with different formats:

<video>
  <source src="..." type="video/webm">
  <source src="..." type="video/ogg">
  <source src="..." type="video/mp4">
  ...
</video>

In order to reduce file size, I propose to add an option to only keep one media format. Maybe the option takes the first source found or allow the user to indicate the format it prefers.

[snshn]

Hello @jdmichaud,

thank you for the idea! If it reduces the file size but may impact the browser's ability to read the file in the future, it could be an issue... however, if e.g. video/mp4 is known to be supported by every browser, I agree that there's no need to save the other formats along with it. It should probably be like that by default, with some kind of flag or environmental variable overriding the behavior in case there's a need to save all sources. I gotta look into different formats for <picture> and <video> tags, to make sure there are universal ones out there. I believe the same logic should apply to the web fonts.