✏️ Editing: SshKeysManager.php