Re: [graph-tool] wrong label_largest_component