Server records (servers.json)
Host, user, SSH key or password. The whole file is encrypted with the operating system secure storage (Electron safeStorage — Keychain on macOS, DPAPI on Windows, the desktop secret service on Linux). If secure storage is unavailable, the app refuses to save the record rather than writing it in plain text.