jump servers, it's a thing and a good security measure.

And it's easy to create a clean 3 lines of ssh client config for the user to later just do

`ssh name`

Even less things to remember + you have documented your hostnames in the process.