When there's no particular need of high definition (nothing here that is small or hard to see, nor particularly pleasing aesthetics), the gains from a big file falls away. And the upsides of a smaller video is that people with poor internet speeds can stream it more easily, and it takes less space on the servers (which are not free to run here on the fediverse).

Worth a smaller file size imho

Let us know how the MOV runs on your Amiga⸮🙄