// allow any host ID and search for pw in JavaX-Secret
static void scpRename(S user, S host, S fromPath, S toPath) ctex {
  final SSHClient client = sshLogin(user, host);
  try {
    print("Renaming on " + user + "@" + host + ": " + fromPath + " -> " + toPath);
    client.newSFTPClient().rename(fromPath, toPath);
  } finally {
    sshDisconnect(client);
  }
}

Began life as a copy of #1011852