TIL: @gnome desktop has a screencast utility built-in. Start recording with Ctrl+Shift+Alt+R, same to stop, video file in ~/Videos

Need to record longer than 30s?

In a terminal, run: gsettings set org.gnome.settings-daemon.plugins.media-keys max-screencast-length 420