・ソニーの4K（民生）はAVCHDフォーマットではなく、XAVC S。
・AVCHDも、XAVC Sも、動画はH264圧縮。
・AVCHDフォーマットのファイルは、「パッケージの内容を表示」だけで
　中身のムービーストリームを取り出せる。
・どっちにしてもそんな重くないぞ。いつの話だ。