I like to be able to records gifs/mp4s quickly as well, for reporting some issue with an animation on a website or whatever. On Linux I like to use Peek for that, and I use the built-in Screenshot tool otherwise on Ubuntu.
On windows you can use win+g which allows you to record videos of the current window. I think it’s for games but it works for everything else pretty well.
