static void web_dropEmptyRelations(Web web) {
  Iterator<WebRelation> i = values(web.relations).iterator();
  while (i.hasNext())
    if (empty(i.next().labels))
      i.remove();
}