[offtopic] Could you share what tool you used to generate the demo gif/video? Very nicely done!