website/docs: document ssh proxy_command [GH-3521]