https://dhruvasagar.dev/2017/10/07/ssh-config-trick/