Sure, I totally agree with that. Though not too much smaller: there's >500 bytes of required headers in an MP4 file encapsulating video.

In any case, that's not what the person I was replying to was talking about.