static WebTree webTree_renameHead(S text, WebTree tree) {
  web_setText(tree.node, text);
  ret tree;
}