It already came out in MP4 at 4GB, I don't know much about it but the huge MOV file looks better, this one is better than the MOV file?
The video in the .mov format is in 1440p and I assume it came from the author himself.
I am not an expert, but performing video encoding in a video that has already undergone this process always causes it to lose quality. To avoid this you have to start with the raw file (from the source), which only the author can do.
I am not saying that video encoding done by other users is not okay, in fact it is welcome if it is of good quality and can save gb of space.
The final choice is up to the user in finding the video file they prefer.
I had tried only changing the extension from .mov to .mkv with ffmpeg in a lossless manner to see if I could save space however it proved irrelevant.
It is a different matter when using AI, which not everyone likes and does not always provide satisfactory results, but since it is a technology that progresses over time it can only get better.