Update my VPS server name

VPS have come names.

Install/Templates/home/ssh/config

@@ -43,8 +43,8 @@ Port 7026
 HostName jovian-hersemeule.eu
 
 # My OVH servers
-## Pluto
-Host pluto
+## Halley VPS
+Host halley
 IdentityFile ~/.ssh/id_server_eddsa
 HostName git.jovian-hersemeule.eu
 AddressFamily inet