Comment by focom

One personal gripe: Compared to the default terminal, ghostty, close the terminal on ctrl+d.