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