What's a good Linux terminal emulator that doesn't try to reinvent TMUX? | Hacker News Reader