theodore.github.io
How to disconnect a ssh session
just type
<Return>~.