Edge labels?

[nichtich]

the specification does not mention edge labels but this example contains an edge with both edge relation and edge label . In most graph formats there is only one of both. I'd like to align pg-format so I'd prefer to have either edge labels or edge relations.