// f : S -> S
static void web_modifyTexts(WebNode node, O f) {
  for (int i = 0; i < l(node.labels); i++) {
    S s = node.web.unparseLabel(node.labels.get(i));
    S s2 = callF(f, s);
    if (neq(s, s2))
      node.labels.set(i, node.web.parseLabel(s2));
  }
}