+ #AddressFamily inet
+Host backup.madduck.net | backup
+ HostKeyAlias pulse.madduck.net
+ #AddressFamily inet
+
+Host khyber.madduck.net | khyber
+ ForwardAgent yes
+ Hostname khyber.madduck.net
+Host khyber-vnc
+ ControlMaster no
+ ControlPath none
+ Hostname khyber.madduck.net
+
+Host wots.madduck.net | wots
+ ForwardAgent yes
+ Hostname wots.madduck.net
+Host buildd.debian.madduck.net | buildd
+ HostKeyAlias wots.madduck.net
+
+Host lotus.madduck.net | lotus
+ ForwardAgent yes
+ Hostname lotus.madduck.net
+Host git.madduck.net | git
+ User git
+ HostKeyAlias lotus.madduck.net
+Host git.debian.ch
+ User git
+ HostKeyAlias lotus.madduck.net
+
+Host sysyphus.madduck.net | sysyphus
+ ForwardAgent yes
+ Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+ User madduck
+ HostKeyAlias sysyphus.madduck.net
+ ForwardAgent yes
+ Port 443
+
+Host jugband.madduck.net | jugband
+ ForwardAgent yes
+ Hostname jugband.madduck.net
+
+Host vera.madduck.net | vera
+ ForwardAgent yes
+ Hostname vera.madduck.net
+
+Host swan-host | swan-host.madduck.net
+ Hostname swan-host.madduck.net
+ User krafft
+
+Host swan.madduck.net | swan
+ ForwardAgent yes
+ Hostname swan.madduck.net
+
+Host domine.madduck.net | domine
+ ForwardAgent yes
+ Hostname domine.madduck.net
+
+Host irc
+ Hostname vera.madduck.net
+ ConnectTimeout 60
+
+Host martin-krafft.net
+ User madduck
+ HostKeyAlias seamus.madduck.net
+Host phd.martin-krafft.net
+ User madduck
+ HostKeyAlias seamus.madduck.net
+Host madduck.net
+ User madduck
+ HostKeyAlias seamus.madduck.net
+Host imap.madduck.net
+ HostKeyAlias seamus.madduck.net
+
+Host diamond.madduck.net | diamond
+ ForwardAgent yes
+ Hostname diamond.madduck.net
+Host tunes.madduck.net | tunes
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
+ HostKeyAlias diamond.madduck.net
+Host flics.madduck.net | flics
+ AddressFamily inet
+ ControlMaster no
+ Hostname flics.madduck.net
+ HostKeyAlias diamond.madduck.net
+Host scratch.madduck.net | scratch
+ User madduck
+ HostKeyAlias diamond.madduck.net
+
+Host shelter.madduck.net | shelter
+ ForwardAgent yes
+ Hostname shelter.madduck.net
+
+Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
+ Hostname sheep.umverkehr.ch
+ User madduck
+
+Host lapse.rw.madduck.net | lapse.gern.madduck.net | lapse
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+
+Host fishbowl.rw.madduck.net | fishbowl.gern.madduck.net | fishbowl
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+
+Host wall.gern.madduck.net | wall
+ CheckHostIP no
+ ForwardAgent yes
+ Hostname wall.gern.madduck.net
+
+Host julia.gern.madduck.net | julia
+ Hostname julia.gern.madduck.net
+ ForwardAgent yes
+
+Host embryo.gauting.madduck.net | embryo
+ CheckHostIP no
+ ForwardAgent yes
+ Hostname embryo.gauting.madduck.net
+ HostKeyAlias embryo.gauting.madduck.net
+
+Host piper.gern.madduck.net | piper
+ Hostname piper.gern.madduck.net
+ ForwardAgent yes
+ ForwardX11 yes
+Host pipere
+ Hostname wall.gern.madduck.net
+ Port 22223
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias piper.gern.madduck.net