Off-topic, but what process are people using to make these animated demos? The command-line and browser demo on this page is so clean and crisp. Is it just a screen cap with a ton of post-processing, or is there more to it?
Stylizing is done on the terminal itself, and then anything (like Quicktime) could do a recording.