ProxyCommand and ForwardAgent for doptio.com hosts.