Compress a video — hit a target file size

Shrink a video to a target size such as 20 MB for email: the bitrate is worked out and encoded in two passes, with live progress and cancel. On this device.