I am now working with Linux for more than 20 years, but I have never, ever encountered the ProxyJump or the ProxyCommand SSH client configuration options before. They make life so much easier for some of the environments I have to connect to!