+Host gordon.adm gordon.adm.crans.org
+ HostName gordon.adm.crans.org
+ User loginCr@ns
+ ForwardAgent yes
+
+Host gordon.wifi nectaris.wifi ragnarok.wifi vpn wifi-update gordon.wifi.crans.org wifi-update.crans.org nectaris.wifi.crans.org vpn.crans.org ragnarok.wifi.crans.org
+ HostName gordon.wifi.crans.org
+ User loginCr@ns
+ ForwardAgent yes
+
+Host horde horde.crans.org
+ HostName horde.crans.org
+ User loginCr@ns
+ ForwardAgent yes
+
+Host horde.adm horde.adm.crans.org
+ HostName horde.adm.crans.org
+ User loginCr@ns
+ ForwardAgent yes
+
+Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org