static void editSnippet(S id, S text) {
  editSnippet(id, text,
    standardCredentialsUser(), standardCredentialsPass());
}

static void editSnippet(S id, S text, S user, S pass) {
  Map query = litmap("id", parseSnippetID(id),
    "text", text,
    "_user", user,
    "_pass", pass,
    "len", lUtf8(text));
  S url = "http://tinybrain.de:8080/tb-int/update_snippet_text.php";
  S page = doPost(query, url);
  if (!page.contains("OK"))
    fail("Error editing snippet " + id + ": " + quote(page));
}