Small SSH config change becomes a massive time saver when using a jump (bastion) host