A lot of Ratatui projects use vhs, but I recently heard a podcast about asciinema and it sounds like it might work well for this too.