Ask HN: Software for producing terminal-based tutorials?

Prof here. Need to create online lectures for delivery this fall. Course is scientific computing. Plan is video of ipython shell and an editor plus audio of me blathering on. I use a Mac. Suggestions for software for the screen portion? Thx!

Edit: OBS Studio? Screenflow? Camtasia?