[dolmen]

The 1.19 KB video file itself has been created "manually" using a video editor. See https://github.com/dtinth/superwhite#creating-the-video

We can expect it is possible to create a much more compact video file with the same features.

[mlyle]

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.