static File publicKeyFileForComputer(S computerID) {
  if (eq(computerID, computerID())) {
    PKI.makeStandardKeyPairIfNecessary();
    ret PKI.getStandardPublicKeyPath();
  }
  
  ret javaxDataDir("Other People's Public Keys/" + assertComputerID(computerID) + ".txt");
}