It doesn’t help that, prior to 2023 (I believe), Microsoft’s OpenSSH fork simply did not recognize ProxyJump. I administered a server behind a bastion, which meant every Mac and Linux user could ssh in. Windows users had to use some strange program like PuTTy.