Re: [graph-tool] Vertex label reordering