[ochoa]

Off topic: what did you use to create your terminal gif's?

[amjith]

I used licecap (http://www.cockos.com/licecap/) to create that gif.