@tinosoft Those video formats are sadly restricted by patents, plus take forever to encode to really (and no, a processor with hardware acceleration isn't a solution currently, as hardware I know of requires proprietary firmware to operate).
Sure you can compress a movie to ~2GiB or so, but the quality will be frankly garbage, even if the resolution is 4k.
I don't have any videos of movie length, with decent quality, that aren't at least 7GiB in size.