WinSSH settings (config.ssh and config.winssh)