static S botNameAtPort() null on exception {
  DialogIO io = talkToOpt();
  if (io != null) {
    S name = io.readLine();
    io.close();
    ret name;
  }
  null;
}