connection.md

 # Connecting to the Servers
 
-You will connect to all servers using your personal [account](/accounts). There are two main ways to connect to the server:
+You will connect to all servers using your personal account (see ["Accounts"](/accounts)). There are two main ways to connect:
 * Using ssh, for CLI access
 * Using a remote desktop client called x2go for GUI access.
 
-**IMPORTANT:** the preferred connection mechanism is ssh, as it uses fewer network resources and reduces the load on the server. So, use the remote desktop only if you *really* need a GUI interface for some reason, and remember that there are *very few* valid reasons. For example, not being familiar with the command line is *not* one of them (you are part of a computer engineering group, after all).
+**IMPORTANT:** the preferred connection mechanism is ssh, as it uses fewer network resources and reduces the load on the server. So, use the remote desktop only if you *really* need a GUI interface for some reason, and remember that there are *very few* valid reasons. For example, not being familiar with the command line is not one of them (you are part of a computer engineering group, after all).
 
-Depending on what you're using the servers for, you may also be able to work with a GUI from your local computer and connect to the server transparently. See for example the [page](/remote-code) on remote Python deployment using PyCharm. 
+Depending on what you're using the servers for, you may also be able to work with a GUI from your local computer and connect to the server transparently. See ["Remote Code Deployment"](/remote-code) for an example.
 
 ## Connecting with ssh
 
-Using ssh, you can login to the server from a Linux/macOs terminal, from a Windows PowerShell, or using another client for Windows such as [PuTTy](https://www.chiark.greenend.org.uk/~sgtatham/putty/latest.html). For most of these clients, the command is just:
+Using ssh, you can login to the server from a Linux/macOs terminal, from a Windows PowerShell, or using another client for Windows such as [PuTTy](https://www.chiark.greenend.org.uk/~sgtatham/putty/latest.html). For most of these clients, the command to type is just:
 ```
 ssh <user>@<server>
 ```
-where `<user>` is the username of your account and `<server>` is one of the [servers](/servers) hostnames.
+where `<user>` is the username of your account and `<server>` is one of the servers hostnames (see ["Servers Information"](/servers).
 
 ## Maintaining a Permanent Shell