I have used asciinema(https://github.com/asciinema/asciinema) for terminal recordings. Recently, I've been using Savvy(https://github.com/getsavvyinc/savvy-cli) for recording my terminal activity and saving it as executable runbooks, which has been helpful, since I can edit it. Though the output format for both are useful for different things. Asciinema is more useful for demonstrations whereas Savvy is more useful for documentation/reuse.What are some other terminal recording tools out there? Do they allow editing the recordings ?