There's more to a terminal emulator than you'd think.