static File computerIDFile() {
  ret javaxDataDir("Basic Info/computer-id.txt");
}