static bool hasServerTranspilation(S snippetID) {
  S url = tb_mainServer() + "/tb-int/get-transpiled.php?raw=1&withlibs=1&id=" + snippetID + "&utf8=1"
    + standardCredentials();
  int code = getURLReturnCode(url);
  print("Code: " + code);
  ret code == 200;
}