static void tb_mainServer_default() {
  deleteFile(getProgramFile(#1001638, "mainserver.txt"));
  print("Switched to default server.");
}