Because we want to be able to easily read the edgelist with several
graph programs and they would not all accept the same
header. `read_edgelist` from Networkx accepts a comment line starting
with a special character. Not very elegant to put column headers after
a #. Anyway, the headers predecessor and successor are obvious for an
edge list.