static void tb_mainServer_default() {
  deleteFile(tb_mainServer_file());
  print("Switched to default server.");
}