What's the best way to convert to a video file

Sometimes I really need to make a video file. Is recording a screencast of the player the best way do do that or is there something better?

The whole idea behind asciinema is to NOT produce heavy video files :slight_smile:

But if you really want it then you have few options: