ProxyJump: reach servers behind a bastion without copying keys around

Most production networks put a single gateway in front of everything. A bastion, a jump host, a jump...