Re: [graph-tool] Simplification of graphs