static void web_removeNode(WebNode n) {
  n.web.removeNode(n);
}