Improve ssh-proxycommand man page.