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