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