Remove old SSH hosts

ssh/.ssh/config

@@ -4,37 +4,6 @@ host zion
     port 22
     identityfile ~/.ssh/zion
 
-host prodyfo
-    user ec2-user
-    hostname ec2-52-47-172-241.eu-west-3.compute.amazonaws.com    
-    port 22
-    identityfile ~/.ssh/odyfo
-
-host devyfo
-    user ec2-user
-    hostname ec2-35-181-115-141.eu-west-3.compute.amazonaws.com    
-    port 22
-    identityfile ~/.ssh/odyfo
-
-host unit
-    user coace
-    hostname 10.0.1.3
-    port 22
-    identityfile ~/.ssh/coace
-
-host sica
-    user root
-    hostname 10.0.1.3
-    port 2222
-    identityfile ~/.ssh/sica
-    KexAlgorithms +diffie-hellman-group1-sha1
-
-host aegis
-    user coace
-    hostname 10.0.1.4
-    port 22
-    identityfile ~/.ssh/aegis
-
 host eu.nixbuild.net
   pubkeyacceptedkeytypes ssh-ed25519
   identityfile ~/.ssh/nixbuild