Something's odd. If you go to https://www.science.org/doi/10.1126/sciadv.abn1104#supplementary-materials https://www.science.org/doi/10.1126/sciadv.abn1104#supp

Something's odd. If you go to https://www.science.org/doi/10.1126/sciadv.abn1104#supplementary-materials https://www.science.org/doi/10.1126/sciadv.abn1104#supplemen... and download the movies, they come zipped. If you unzip and compare the sizes, zipped ~8.72MB, unzipped 10.2MB. So zipping saved ~15%, but .mp4 format should be bloody well compressed already to the point that they should not be able to gain anyything from .zip Is this a failure of the mp4 format, or badly-chosen compression settings, or something I don't know?