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