Video Size Reduction

General recommendation is AVIDEMUX. But it crashed on AVIs from my Mom's canon.
ffmpeg worked:

ffmpeg -i input.mp4 -vcodec libx264 -crf 24 output.mp4

24 is max possible quality. Can do lower for bigger compression.