connection.md

@@ -14,7 +14,7 @@ Using ssh, you can login to the server from a Linux/macOs terminal, from a Windo
 ```
 ssh <user>@<server>
 ```
-where `<user>` is the username of your account and `<server>` is one of the servers hostnames (see ["Servers Information"](/servers).
+where `<user>` is the username of your account and `<server>` is one of the servers hostnames (see ["Servers Information"](/servers)).
 
 ## Maintaining a Permanent Shell
 
@@ -22,7 +22,7 @@ In your work, you may have to launch long jobs that take hours or days to comple
 
 If you do so from a normal ssh shell, your script will terminate as soon as you disconnect (or lose the connection to the server). 
 
-To avoid this problem, all our servers include an utility called [TMUX](https://tmux.github.io/) that allows you to create one or more permanent shells, from which you can disconnect and re-connect freely, and which persist even if you log out of the server completely. Please follow the link above or look online for a complete guide on how to setup and use tmux.
+To avoid this problem, all our servers include an utility called [tmux](https://tmux.github.io/) that allows you to create one or more permanent shells, from which you can disconnect and re-connect freely, and which persist even if you log out of the server completely. Please follow the link above or look online for a complete guide on how to setup and use tmux.
 
 The servers also include an older utility that serves the same purpose called [GNU Screen](https://www.gnu.org/software/screen/). However, we suggest using tmux which is much more powerful and flexible.
 
@@ -33,7 +33,7 @@ Remote desktop access is provided via ssh tunneling, using the [X2Go client](htt
 To log in using the desktop, simply install and open X2Go client and follow these steps:
 * Select `Session/New Session`.
 * Give a meaningful name to your session
-* Type the [hostname](/servers) of the server you want to connect to in the *Host:* field and your username in the *Login:* field.
+* Type the hostname of the server you want to connect to in the *Host:* field and your username in the *Login:* field.
 * Under *Session type* select *KDE*.
 * Leave all the rest as default.
 
@@ -43,17 +43,17 @@ When you terminate your work, *do not* click on the 'x' at the top of the remote
 - The "pause" icon if you want to leave your session running, so that you can reconnect to it later.
 - The "power off" icon, if you want to terminate your session completely.
 
-Please always select the second option, unless you really need to keep your session alive, in order to free system resources. Use a permanent shell (as described above) as a more light-way method to keep a  session open when you disconnect from the server.
+Please always select the second option, unless you really need to keep your session alive, in order to free system resources. Use a permanent shell as described above (for example with tmux) as a more light-way method to keep tasks running when you disconnect from the server.
 
 ## File Transfers
 
-In order to transfer files to/from the server, you can use any client that supports secure file transfers over an ssh tunnel.
+In order to transfer files to/from the server, you can use any client that supports secure file transfers over a ssh tunnel.
 
 #### From the Command Line
 
-From the command line, we recommend using [scp](https://linux.die.net/man/1/scp). You can click the link for the complete man page. A few basic examples are reported below:
+From the command line, we recommend using [scp](https://linux.die.net/man/1/scp). You can click the link for the complete man page. A few basic examples are reported below.
 
-To transfer a single file from the current directory in your local machine to your home directory in one of the servers.
+Transfer a single file from the current directory in your local machine to your home directory in one of the servers:
 ```
 scp myfile <user>@<server>:/home/<user>
 ```
@@ -74,4 +74,4 @@ All examples above must be executed *from your local machine*.
 
 There are also several GUI clients that can be used to transfer files to/from the servers using ssh/scp tunneling. One example is [FileZilla](https://filezilla-project.org/).
 
-Some operating systems even have built-in tools to connect to remote ssh directories. Similar tools are also available in some IDEs (for example, in PyCharm and in the other JetBrain tools). See the guide on [Remote Code Deployment](/remote-code) for more details.
+Some operating systems even have built-in tools to connect to remote ssh directories. Similar tools are also available in some IDEs such as PyCharm and others from JetBrain. See ["Remote Code Deployment"](/remote-code) for more details.
\ No newline at end of file