static void web_removeRelation(WebRelation rel) {
  if (rel == null || rel.web == null) ret;
  rel.web.removeRelation(rel.a, rel.b);
}