Slightly off topic: What are the tools for making animations in the webpage, in html/canvas format not embedded videos? Sometimes I see some sites with nifty animations that animate while scrolling too and I wonder how it’s done.