This is cool! Curious what tool you used to make the GIF in your blog post?