Edit requests of OpenSSHのProxyJump（-J）オプション（多段SSH/踏み台用）は主要OSで使える、この用途でのProxyCommandオプションは捨てよう