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