Creating High Quality GIFs from Asciinema RecordingsUse agg with a huge font size to get high quality GIFs.