svoid agiBot_setTrustedKeyForMachine(PKIKeyPair pair) {
  savePKIKeyPairToTwoLineFile(pair, agiBot_trustedKeyForMachine_file());
}