Host cao
    User joshua
    HostName crawl.akrasiac.org
    IdentityFile ~/.ssh/cao_key
    Compression yes

Host cdo
    User crawl
    HostName crawl.develz.org
    IdentityFile ~/.ssh/cao_key
    Compression yes

Host heh
    User rl
    HostName rl.heh.fi
    Compression yes