A video straight off my phone or camera can be several times larger than its runtime seems to justify, and the obvious fix is to compress it. The trouble is that opening a typical video transcoder ...