static void web_rename(Web web, S a, S b) {
  for (WebNode node : web_nodesNamed(web, a))
    web_setText(node, b);
}