static void web_removeLabel(WebNode n, S label) {
  n.labels.remove(n.web.parseLabel(label));
}