While this site doesn't offer GIF conversion at the moment, you can
still do it yourself with the help of asciinema GIF generator utility - agg.
Once you have it installed run the following command to create GIF file:
agg https://asciinema.humanz.moe/a/i1ohWABMf4nEfu4v5wF9d8tW7 10.gif
Or, if you already downloaded the recording file:
agg 10.cast 10.gif
Check agg --help
for all available options. You can change font
family and size, select color theme, adjust speed and more.
See agg README for
full usage instructions.