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
But if you really want it then you have few options:
Hi for the conversion there are several softwares available in the market the one which i usually use is total movie converter and since i started using this i never felt that i must go for others so you can also try this they trial memberships and hopefully it can help you. link is given below.
All the best