static void web_replaceFirstText(WebNode n, S s) {
  if (n == null) ret;
  listPut(n.labels, 0, n.parseLabel(s));
}