In the "which keyboard shortcuts do you use" section I was sad that Ctrl-D was labeled just as "EOF" when i'd suggest "Disconnect" is just as important. Pressin

In the "which keyboard shortcuts do you use" section I was sad that Ctrl-D was labeled just as "EOF" when i'd suggest "Disconnect" is just as important. Pressing ^D to close a shell, including say, a shell in a container, an SSH session, or just to end the whole terminal session, is my favorite keyboard shortcut and I'm always surprised to see people typing out "exit" and pressing Return. Hopefully one person sees this and saves thousands of keystrokes over the next few decades ;)