trecs records a terminal session as text, not video: sharp at any size, a few kilobytes instead of hundreds of megabytes, and every command a jump point. Copy output, annotate, narrate, export to Markdown or a shell script, and embed the player in a page.
It is free and open source (AGPLv3), for Linux, macOS and the BSDs. This site plays recordings in the browser, which needs JavaScript.