These videos are generated by ffmpeg in MP4 format.
It can be opened and played with VLC media player.
