Video compressor

Shrink a video to a target file size — for Discord, email, or a form with an upload limit. The bitrate is worked out from the length you are keeping, and the result is measured and re-encoded if it overshoots, so it really does come in under the number you picked.