That was all pretty trivial
Let's see how much more trivial we can get
exec ssh "$(basename $0)"
That's it
