https://deepumohan.com/tech/ssh-config-tips/