Make demo gif shorted (both in side and contents.)

[onilton]

I cropped the original gif with gifsicle -V -d 10 --crop 1,3+890x513 --output output.gif videooo.gif

But maybe I need to edit asciicinema or re-record