Speed records aren’t usually representative of regular use top speeds, are they?

And how about the actual speeds they are used with? Another poster suggested the maintenance costs of traditional speeds skyrocket as speed increases, while maglev doesn’t really have a lot of stuff that wears down in the first place.

There is the DJVU format for this exact use case, but you’d need to convert them to, say, pdf for many use case. Its also a bit old and perhaps not maintained, soo…

HEIF and other modern video encoders (HEIF=H265) should fare a lot better than JPEG, though.