What's your favorite Linux terminal emulator? | Hacker News Reader