If you've ever downloaded a video off the Internet using, say, Youtube Downloader, and it had both really annoying boxing around it so the poster could put their own logo or advertising, and the video was big enough that your machine chugged and lagged and it became hard to watch, here's the ffmpeg command to reduce it to size.