thanks! i just wanted to confirm your permission before posting on the repo. :) on a related note, do you have a command for converting HTML5 animations into w

thanks! i just wanted to confirm your permission before posting on the repo. :) on a related note, do you have a command for converting HTML5 animations into webp or mp4 videos?