Warn that ssh_args is incompatible with pipelining, note such in documentation.