I built a tool on Google Colab to easily create demo videos and convert them into GIFs or MP4s.Changelog