For Philip Yassin (whose excellent YouTube videos I love) or anyone, could
you recommend a particular screen capture program for Linux (to use to make
YouTube videos, etc.)

I've used OBS for the radium videos. I also tried simplescreenrecorder,

but it wasn't up to the task of capturing 1900x1000x60 without using too much CPU

or skipping frames. https://obsproject.com/