Non-default port number can be set (server:port) for ssh access