paperlined.org
apps > terminals
document updated 12 years ago, on May 3, 2012
There are various ways to record the keystrokes+output of a terminal session.