TIL that SSH has an escape character to kill a shell. So many MacOS terminals I've had to kill because of hung shells. Is this list of sequences from a specific 'man' doc that I can read more in?