An editor for removing typos, oopsies and gotchas from your console screencasts