Computerstuff' ]

I am subscribed to a few mailing lists and I stumbled across a big video file in one of them recently. Here is a small command-line command using ffmpeg that cut its filesize in half.